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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 24 Jan 2020 21:27:38 +0000
Build-Path
/build/cryptominisat-5.6.4+dfsg.1

First submitted
Sat, 22 Dec 2018 15:04:53 +0000
SHA1 of .buildinfo
65e52d3905578502454de57058f01f65e0b4b655

Binaries

cryptominisat (cryptominisat_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 8528bced8ed6d10e016b9fd77b2592d4c74c2883
SHA256: 4a7c5859ef9aeca33301bcd16c98741d2b75443c75d4e4b7534f893b580ed2fd

Size: 79,328 bytes
libcryptominisat5-5.6 (libcryptominisat5-5.6_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 9da9d8717945012778ea0cb1d60429c2e58b0734
SHA256: cb19db1d4616f8bdfc48ed0b3860d2e8150498a0238e34f033aa632ae05067b8

Size: 369,060 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: 6e46ce028bc96e6b5771036a3d4e0d6307b9fe1f
SHA256: 5a79cd0896a1ee9737795992e5d552793ed90d17c2d85efd9af6739bba5b495a

Size: 17,004 bytes

Other checksums

python3-cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 6f900527600f8e4884f361b1ec6a2f2699a7d5a8
Size: 81,904 bytes
libcryptominisat5-5.6-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 4309fc111c7b01770db9f11ebc3f5e14be5d05c8
Size: 6,126,640 bytes
cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 24678b2a43b3a86ab274582ef97170bca618d144
Size: 1,087,848 bytes

Submissions

Submitted
Sat, 22 Dec 2018 15:04:53 +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"