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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 10 Nov 2018 09:06:38 +0000
Build-Path
/build/1st/cryptominisat-5.6.4+dfsg.1

First submitted
Sat, 10 Nov 2018 09:12:10 +0000
SHA1 of .buildinfo
9f740d90c6fbfd9329dc043b8b5915d0ec2d4f22

Binaries

cryptominisat (cryptominisat_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 064f9a80aa2721e80ebc0ac20f0464a559755545
SHA256: 4ed7b07d82b92e45c6273284ce59371cfab38f9f848633aca7f35c511fa8e0c8

Size: 79,336 bytes
libcryptominisat5-5.6 (libcryptominisat5-5.6_5.6.4+dfsg.1-1_amd64.deb)
SHA1: 84499c0570a218d154788a3b83e7b5ea83767fb7
SHA256: e03c2014af87cdc075be1fa65ccc8166b7cb8cc3cf81c06d9eda23a50e52c7e6

Size: 369,432 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: eb1495cfa0cc581d25cca954f9820cf166456de2
Size: 6,121,632 bytes
cryptominisat-dbgsym_5.6.4+dfsg.1-1_amd64.deb
SHA1: 3743cf1a2357fce0ed27538f29732ed7634fb7ff
Size: 1,087,916 bytes

Submissions

Submitted
Sat, 10 Nov 2018 09:12:10 +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"