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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 20 Nov 2018 07:11:05 +0000
Build-Path
/build/cryptominisat-5.6.4+dfsg.1

First submitted
Tue, 20 Nov 2018 07:15:11 +0000
SHA1 of .buildinfo
6078f63c336b9a9bcb5523b871630289ebf2fdca

Binaries

cryptominisat (cryptominisat_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 2816f212236fdc841f410d3db5aa89bf008acb7d
SHA256: 31a53daf0e8540d3eb0c049e618d21693b57c7fc06860499afaa8276200e01d9

Size: 79,628 bytes
libcryptominisat5-5.6 (libcryptominisat5-5.6_5.6.4+dfsg.1-1_amd64.deb)
SHA1: d4b816078e48e0001b4fa985e2cc96b2f4012a99
SHA256: 09f83c2ef9246098e3ec8ed2ba4dd87427bbdd6462edac82aac65cca810fcabc

Size: 369,392 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: 8b4536d390e260f9ae646c1f70c4216222e700eb
SHA256: 491e45baae617247bfd7e866c4a71c4b05a65d2f1880bf4932e38421248c3bc2

Size: 17,016 bytes

Other checksums

python3-cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: a082483adc0b04ef17b23e2e3207d536944b37e1
Size: 80,932 bytes
libcryptominisat5-5.6-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 664dec35cc1bef68a78a3b379eaab6b695f30bab
Size: 6,121,196 bytes
cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: fdb00258e442496376904638826d9d94addac2c7
Size: 1,087,908 bytes

Submissions

Submitted
Tue, 20 Nov 2018 07:15:12 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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