Source
picosat
Version
965-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 20 Feb 2024 07:51:44 +0000
Build-Path
/build/reproducible-path/picosat-965

First submitted
Tue, 20 Feb 2024 07:51:54 +0000
SHA1 of .buildinfo
54afcb6ee3cdb233aa9b30174346756d64198fd5

Binaries

picosat (picosat_965-2_arm64.deb)
SHA1: 3e252f4535187e769e15102b36614bde66db412f
SHA256: 965c06e02f1cd674bc6e722f801eed96f92dd65b63af7d0fd8442eb4bc73dbbb

Size: 85,412 bytes
picosat-dbgsym (picosat-dbgsym_965-2_arm64.deb)
SHA1: c181f5dc806b7d3b5720d80b6df96ca4960b60ad
SHA256: 2d5c8a95e88aef88874f08ff9651345bdd7619c0f4671f3d048735d559e6582b

Size: 391,312 bytes

Other checksums

Submissions

Submitted
Tue, 20 Feb 2024 07:51:54 +0000
Signed by
0xBF8D76BED99F2426

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1613890043"