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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 29 Dec 2018 10:58:12 +0000
Build-Path
/build/1st/cryptominisat-5.6.4+dfsg.1

First submitted
Sat, 29 Dec 2018 11:03:47 +0000
SHA1 of .buildinfo
6ac9e485e0cb0c7372d3314f98c7e01f650e91e7

Binaries

cryptominisat (cryptominisat_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 80fc58181acc38a5dfc8de18cc1511a907e3264b
SHA256: 00064d0b3295bce89d016f2d9a36f9ca087b71a83655155c7941fb574739dcc2

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

Size: 369,548 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: 2107b8dbe8df87397cdef3bd7d9a28c080ec0f97
SHA256: 73038aaf6ce453d3f25299ae22f079ea7d625c7d906ff34b0a7f6d2beba2c4ff

Size: 16,988 bytes

Other checksums

python3-cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 13fabb5a4bf955373d81b748cde179a1fb410fee
Size: 81,880 bytes
libcryptominisat5-5.6-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 08f0b2c1029511f2017da58034520bc4f5ca9286
Size: 6,126,896 bytes
cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 191263a7ead0a1b5d64e7a14aac1fb583bd517dd
Size: 1,087,868 bytes

Submissions

Submitted
Sat, 29 Dec 2018 11:03:47 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-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"