Source
cryptominisat (5.7.1+dfsg1-1)
Version
5.7.1+dfsg1-1+b2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 2 Jun 2020 17:50:14 +0000
Build-Path
/build/cryptominisat-O2gVyo/cryptominisat-5.7.1+dfsg1

First submitted
Wed, 3 Jun 2020 00:10:34 +0000
SHA1 of .buildinfo
aa79f9f15b8d488ac049bda2d1fc07f257d6bbae

Binaries

cryptominisat (cryptominisat_5.7.1+dfsg1-1+b2_s390x.deb)
SHA1: ae889fd0d757a97d7069d3d3974531f635ffc8c0
SHA256: 45bd93ba0ac06db7a24ad8c30a52b6bb09dd7bb3291df11b80841c8f0ca8408e

Size: 91,488 bytes
libcryptominisat5-5.7 (libcryptominisat5-5.7_5.7.1+dfsg1-1+b2_s390x.deb)
SHA1: bfb7eeddccfd9806255538bd80616e29ee060efd
SHA256: ca481fac00dc0ffa9aec49db1633ac6eb8ad020df32ac1fadba93cee4e0f8cc7

Size: 367,648 bytes
libcryptominisat5-dev (libcryptominisat5-dev_5.7.1+dfsg1-1+b2_s390x.deb)
SHA1: 4dcacb39aaef3545c1a99a6510cf56814911b9df
SHA256: 0f28563ef1b1d3c2edb8c47bd8dc456b352e128b36bbe3bea26aa50ed37daa04

Size: 13,196 bytes
python3-cryptominisat (python3-cryptominisat_5.7.1+dfsg1-1+b2_s390x.deb)
SHA1: afa1c43e9be81e7c3361f78d2a8216ca580f6d07
SHA256: 90bd6530c69c3aaf08185addda23f71257280c1e75d5b37988572a943afb160f

Size: 18,528 bytes

Other checksums

python3-cryptominisat-dbgsym_5.7.1+dfsg1-1+b2_s390x.deb
SHA1: 96bf7063bab47d7948121b5710295d0c5336c607
Size: 88,748 bytes
libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1+b2_s390x.deb
SHA1: 573c7616ea2e21d6d409b78bff04af89b88d34a1
Size: 5,482,684 bytes
cryptominisat-dbgsym_5.7.1+dfsg1-1+b2_s390x.deb
SHA1: 60091cbc1ffe1c7a2207dd2e2045922b928dbcef
Size: 1,188,172 bytes

Submissions

Submitted
Wed, 3 Jun 2020 00:10:35 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1591120172"