Source
cryptominisat
Version
5.6.4+dfsg.1-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 6 Jan 2020 09:45:30 +0000
Build-Path
/build/1st/cryptominisat-5.6.4+dfsg.1

First submitted
Tue, 4 Dec 2018 03:31:40 +0000
SHA1 of .buildinfo
d85ca607fe03fe47043ac2698e1e0045daf44f56

Binaries

cryptominisat (cryptominisat_5.6.4+dfsg.1-1_amd64.deb)
SHA1: d208d76a482f76146802a73bbee6d74fdc8f69e7
SHA256: 74b7ea798b1efad13407ef82f9f7c9217c171b4c8a83c590c8d134463cc66ea2

Size: 79,352 bytes
libcryptominisat5-5.6 (libcryptominisat5-5.6_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 45b91c44eb521876bab401d9f5d516386603db0c
SHA256: 48378c742dbce680a405c24c8f782c5b439816f92662720abf6d596aacba2942

Size: 370,112 bytes
libcryptominisat5-dev (libcryptominisat5-dev_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 7933e2fa20acb24d070945683842d857be70d9ab
SHA256: 6eb64fc6887f5b08168889c2d70e799df1cd6c1ffee38ce19dc0ee7ce8b6ac7b

Size: 11,568 bytes
python3-cryptominisat (python3-cryptominisat_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 62c7b1174c887d1457ecf4178658534e9f6c16b2
SHA256: dbe0c45e18d297fd91eff5cb016ac8f7f0203095eef63fe60d993a269130e497

Size: 16,992 bytes

Other checksums

python3-cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 3a08dc0757f6856f4b122506456aae79e7f4f57a
Size: 81,904 bytes
libcryptominisat5-5.6-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 24bd12fa296c74a1b2fee0d96eb75abfc10747ed
Size: 6,126,444 bytes
cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 0b0ebec0fb024396158f484e3af2cf39e302ef52
Size: 1,087,748 bytes

Submissions

Submitted
Tue, 4 Dec 2018 03:31:40 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1535512900"