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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 19 Feb 2020 17:14:17 +0000
Build-Path
/build/cryptominisat-5.6.4+dfsg.1/2nd

First submitted
Thu, 17 Jan 2019 10:54:40 +0000
SHA1 of .buildinfo
e853e10ac54eab290fd3b8fd36a6fc9a9906106d

Binaries

cryptominisat (cryptominisat_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 7c8de306563c851c43534ccbc1cdd60ea0117031
SHA256: 4f97b60823a50c8d9ed58dccf5a08114eb8a3b78908dfd660273858fa7c72c9c

Size: 79,312 bytes
libcryptominisat5-5.6 (libcryptominisat5-5.6_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 82f537462134908ce724403f294620c902866d95
SHA256: 121836d2d428b05f4fe6bab01d87dff7235d64c0fb0563146cdbb04451162dd6

Size: 369,516 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: 5e250f801fc9059f1b7dc82dab9f5b0cb5b12d48
SHA256: e6bd2b2ea5bac77115d52fab19e521932817bf849cab9d9c115004f41f3d3bc5

Size: 16,996 bytes

Other checksums

python3-cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 1e82a3614625ccafbcce397ac67fe2b0ca6e7ee4
Size: 81,880 bytes
libcryptominisat5-5.6-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: edb0014e10ef3f4b8f5bfbb98b0d0e9102e2fb74
Size: 6,125,700 bytes
cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 582b84dae0175693e9a91d2449865c7daf60fe19
Size: 1,087,972 bytes

Submissions

Submitted
Thu, 17 Jan 2019 10:54: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"