Source
minisat+
Version
1.0-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 2 May 2021 02:22:45 +0000
Build-Path
/build/minisat+-1.0

First submitted
Sun, 29 Mar 2020 20:01:06 +0000
SHA1 of .buildinfo
d682be403731605046e51ba0df2e6ea8cc907851

Binaries

minisat+ (minisat+_1.0-4_arm64.deb)
SHA1: cf765f1fdf651817a7488f6341b4d3ec47223f48
SHA256: ade8c32d3ad66900772a32995f1ceefb0b8cdad5b9ed2d718b94c5ad2f28af33

Size: 123,752 bytes

Other checksums

minisat+-dbgsym_1.0-4_arm64.deb
SHA1: 7ec2c1f1af9ba09f728daad10e7aec86f56a90e9
Size: 1,072,428 bytes

Submissions

Submitted
Sun, 29 Mar 2020 20:01:07 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1487520199"