Package: picosat (965-2+b1)
SAT solver with proof and core support
Other Packages Related to picosat:
Percorsi file del pacchetto (27)
Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.
- /usr/bin/picomus
- /usr/bin/picosat
- /usr/bin/picosat.trace
- /usr/include/picosat/picosat.h
- /usr/lib/aarch64-linux-gnu/libpicosat.a
- /usr/lib/aarch64-linux-gnu/libpicosat.so
- /usr/lib/aarch64-linux-gnu/libpicosat.so.1
- /usr/lib/aarch64-linux-gnu/libpicosat.so.1.0.0
- /usr/lib/aarch64-linux-gnu/libpicosat-trace.a
- /usr/lib/aarch64-linux-gnu/libpicosat-trace.so
- /usr/lib/aarch64-linux-gnu/libpicosat-trace.so.1
- /usr/lib/aarch64-linux-gnu/libpicosat-trace.so.1.0.0
- /usr/lib/x86_64-linux-gnu/libpicosat.a
- /usr/lib/x86_64-linux-gnu/libpicosat.so
- /usr/lib/x86_64-linux-gnu/libpicosat.so.1
- /usr/lib/x86_64-linux-gnu/libpicosat.so.1.0.0
- /usr/lib/x86_64-linux-gnu/libpicosat-trace.a
- /usr/lib/x86_64-linux-gnu/libpicosat-trace.so
- /usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1
- /usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1.0.0
- /usr/share/doc/picosat/changelog.Debian.arm64.gz
- /usr/share/doc/picosat/changelog.Debian.gz
- /usr/share/doc/picosat/changelog.gz
- /usr/share/doc/picosat/copyright
- /usr/share/man/man1/picomus.1.gz
- /usr/share/man/man1/picosat.1.gz
- /usr/share/man/man1/picosat.trace.1.gz
Field source: Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Usa questo pacchetto
OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.
Versioni, suite e repository
Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.
Checksum e date di osservazione
For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.
965-2+b1 / arm64Observed Sep 1, 2026 to Sep 1, 2026
Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Source-reported sha256: 6237f0a5e0522e75553d8557d60e34462a7f19668087ccd755f61646739a87e6
After downloading that exact artifact, compare its bytes with the source-reported expected digest:
printf '%s %s\n' '6237f0a5e0522e75553d8557d60e34462a7f19668087ccd755f61646739a87e6' 'picosat_965-2+b1_arm64.deb' | sha256sum --check --strict -A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.
Field source: Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
965-2 / amd64Observed Sep 1, 2026 to Sep 1, 2026
Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.
Source-reported sha256: 6624843a227421db9e565e4d841f0921b54d02061ffca86d3cdb4bdd4eb2c5aa
After downloading that exact artifact, compare its bytes with the source-reported expected digest:
printf '%s %s\n' '6624843a227421db9e565e4d841f0921b54d02061ffca86d3cdb4bdd4eb2c5aa' 'picosat_965-2_amd64.deb' | sha256sum --check --strict -A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.
Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Fonti e provenienza
Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.
Authoritative source; repository metadata signature verified, revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record- Signed-object SHA-256
- 98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
- Signer fingerprint
- 4CB50190207B4758A3F73A796ED0E7B82643E131
- Keyring revision
- debian-archive-keyring.gpg
SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017 - Tool and policy
- gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1 - Verification time
- Sep 1, 2026
Signed Release → package-index hash linkagePath: main/binary-amd64/Packages.xz
Expected SHA-256: 3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Observed SHA-256: 3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Result: match verified
Authoritative source; repository metadata signature verified, revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record- Signed-object SHA-256
- 98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
- Signer fingerprint
- 4CB50190207B4758A3F73A796ED0E7B82643E131
- Keyring revision
- debian-archive-keyring.gpg
SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017 - Tool and policy
- gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1 - Verification time
- Sep 1, 2026
Signed Release → package-index hash linkagePath: main/binary-arm64/Packages.xz
Expected SHA-256: 753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Observed SHA-256: 753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Result: match verified
