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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 31 Jan 2020 17:23:13 +0000
Build-Path
/build/cryptominisat-5.6.4+dfsg.1/2nd

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

Binaries

cryptominisat (cryptominisat_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 8a096363f52d150a709b246e55544264824ac616
SHA256: 16683282be1cce0768ac02b9557cf6e80c82b6d8935a595af1e9f321cb2a5536

Size: 79,236 bytes
libcryptominisat5-5.6 (libcryptominisat5-5.6_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 5abb836c0fe9322f1d39b839256825e024cb3b0b
SHA256: dd3cbcdc2df430d41a7e973dee8d4c286cc36067136a0adaca9b6b927621fe2c

Size: 369,468 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: 81e2cbb22b77ad9ec7212d9edd8115b8fc7ce6ba
Size: 6,126,896 bytes
cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 8a95de521a8ef217b10e247c2aefb111e9bc6344
Size: 1,087,872 bytes

Submissions

Submitted
Sat, 29 Dec 2018 11:03:48 +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"