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

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 2 Jun 2020 22:23:08 +0000
Build-Path
/build/cryptominisat-hxDuH6/cryptominisat-5.7.1+dfsg1

First submitted
Wed, 3 Jun 2020 00:24:24 +0000
SHA1 of .buildinfo
e2c6b98eb81d210a1581bbb9d032576e620e7824

Binaries

cryptominisat (cryptominisat_5.7.1+dfsg1-1+b2_mips64el.deb)
SHA1: c515926e718c153c1da7b4a6676da162b4f65235
SHA256: d5afb18509c6f0f556061040f9cb7122a31abca439ab1a5d815914671f842cd2

Size: 88,604 bytes
libcryptominisat5-5.7 (libcryptominisat5-5.7_5.7.1+dfsg1-1+b2_mips64el.deb)
SHA1: 224db1023248af1a7920cff2ef1ce96da0ece81c
SHA256: 5cd3f0aea301bc0211fb5112e24526878d9b9036814a3f182de3456ce872c5ae

Size: 381,376 bytes
libcryptominisat5-dev (libcryptominisat5-dev_5.7.1+dfsg1-1+b2_mips64el.deb)
SHA1: 683d8ba88da3fa2c57186abfdc45134bc7341572
SHA256: 92933390001c46d6bc998754bf3b9d17a5139bf252377bcf5092a26203faec9d

Size: 13,208 bytes
python3-cryptominisat (python3-cryptominisat_5.7.1+dfsg1-1+b2_mips64el.deb)
SHA1: 6d27155be1eeb8cf7011b4f87393ad245c9dacba
SHA256: ef7b0566fcbd8c31f650bf1395f742b1a232ea80406987db7adcd9c1a8c94708

Size: 19,140 bytes

Other checksums

python3-cryptominisat-dbgsym_5.7.1+dfsg1-1+b2_mips64el.deb
SHA1: 252b57cb7262dab30b1ad351a3eabaa7bfe5b606
Size: 90,656 bytes
libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1+b2_mips64el.deb
SHA1: 9f38c593e15250fb38f9c5a2202b367f971ab6c9
Size: 5,452,704 bytes
cryptominisat-dbgsym_5.7.1+dfsg1-1+b2_mips64el.deb
SHA1: 2f64b5d941323d998f24e84326890c5cd43ed600
Size: 1,185,152 bytes

Submissions

Submitted
Wed, 3 Jun 2020 00:24:24 +0000
Signed by
0x2378023FC330EAE7

Environment


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