cryptominisat (5.6.4+dfsg.1-1)_5.6.4+dfsg.1-1+b3_amd64.buildinfo (view)

Source
cryptominisat (5.6.4+dfsg.1-1)
Version
5.6.4+dfsg.1-1+b3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 29 Nov 2018 10:44:37 +0000
Build-Path
/build/cryptominisat-7A6jwA/cryptominisat-5.6.4+dfsg.1

First submitted
Thu, 29 Nov 2018 12:11:12 +0000
SHA1 of .buildinfo
bcd2a55dbe89ab11f3e8dc977344c8765a5b9f74

Binaries

cryptominisat (cryptominisat_5.6.4+dfsg.1-1+b3_amd64.deb)
SHA1: eaf081c9645024d4a72db8fb00429ae2a493e2df
SHA256: 8e47f44e23df4198f02c107365ef5927a079bac79ea9bc0dbe81154fe74678e8

Size: 80,404 bytes
libcryptominisat5-5.6 (libcryptominisat5-5.6_5.6.4+dfsg.1-1+b3_amd64.deb)
SHA1: cfce29cba5054b2b038ea32eab090c6a0d16a316
SHA256: ff1ec477709671905ab0371d41f5aee48161b1318f4e291bd134a5af3ac4a6fc

Size: 369,592 bytes
libcryptominisat5-dev (libcryptominisat5-dev_5.6.4+dfsg.1-1+b3_amd64.deb)
SHA1: c900623857f91d7b724e1cd74081f3134ebe1c8d
SHA256: 8e7e605f220832f5578304b3ec10884b45fb3e23c40297c48d5166763b3c8c67

Size: 11,884 bytes
python3-cryptominisat (python3-cryptominisat_5.6.4+dfsg.1-1+b3_amd64.deb)
SHA1: 558307777daa32732e2276866e328800b301becc
SHA256: 167e450220d31cecef73289d60b217a599957b88b9ffce8dd8e237064cebbbe3

Size: 17,320 bytes

Other checksums

python3-cryptominisat-dbgsym_5.6.4+dfsg.1-1+b3_amd64.deb
SHA1: 408a1df840947defa3c598a1669681cd26714929
Size: 81,888 bytes
libcryptominisat5-5.6-dbgsym_5.6.4+dfsg.1-1+b3_amd64.deb
SHA1: a8d81ec5d41c755932552a04362eecd3f573da98
Size: 6,124,772 bytes
cryptominisat-dbgsym_5.6.4+dfsg.1-1+b3_amd64.deb
SHA1: e53a03d5280704383c7c04c0f8e7dc77c362821b
Size: 1,088,064 bytes

Submissions

wnoft9c4
Submitted
Thu, 29 Nov 2018 12:11:13 +0000
Signed by
0x65606BA14EC30053

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1543488210"