Source
cryptominisat (5.7.1+dfsg1-1)
Version
5.7.1+dfsg1-1+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 12 May 2020 23:00:02 +0000
Build-Path
/build/cryptominisat-MqFiTq/cryptominisat-5.7.1+dfsg1

First submitted
Wed, 13 May 2020 00:13:26 +0000
SHA1 of .buildinfo
16576a19e6dd0b1fcb45ce2eeebc29888b252967

Binaries

cryptominisat (cryptominisat_5.7.1+dfsg1-1+b1_i386.deb)
SHA1: c95c06273317c834b248e874cd94ae45ac89fca7
SHA256: 9be0441ca5d93da9690fa044fdb1988fdd6b0c07fbf3fbc482b57aa1802415cc

Size: 98,808 bytes
libcryptominisat5-5.7 (libcryptominisat5-5.7_5.7.1+dfsg1-1+b1_i386.deb)
SHA1: e32a07365f4cc3341c326536eec418aa218670fb
SHA256: 723295d05765abee54406f43a9dc3e18e455cbe2bd6a66bac950d2871c189c12

Size: 423,848 bytes
libcryptominisat5-dev (libcryptominisat5-dev_5.7.1+dfsg1-1+b1_i386.deb)
SHA1: ed10403915649b35b1531d60fb3c1c11ab8c966a
SHA256: 5cee45f611f8850de9eaa2203cebf30bafcef2f7f85746933ceeaa5213c0b68f

Size: 13,192 bytes
python3-cryptominisat (python3-cryptominisat_5.7.1+dfsg1-1+b1_i386.deb)
SHA1: aa984d59bec8134923e5e2f3fe1be4fe77c65808
SHA256: 836f6c92ae2f453c73d4ae84bc1eff60743c5496d7444cd30bea5d40ef50080b

Size: 19,808 bytes

Other checksums

python3-cryptominisat-dbgsym_5.7.1+dfsg1-1+b1_i386.deb
SHA1: 0edac5051c3257897b75f53c079f27faed60e08f
Size: 87,488 bytes
libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1+b1_i386.deb
SHA1: d5fd3b710525db144f90d63e309b8b5f661bcf62
Size: 5,239,028 bytes
cryptominisat-dbgsym_5.7.1+dfsg1-1+b1_i386.deb
SHA1: 75c59f6082592d68a9d3ea6cc76eb89e3f5fab65
Size: 1,125,152 bytes

Submissions

Submitted
Wed, 13 May 2020 00:13:26 +0000
Signed by
0xE9BEE1DBDA111424

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1589324305"