cryptominisat (5.7.1+dfsg1-1)_5.7.1+dfsg1-1+b2_armhf.buildinfo (view)

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 2 Jun 2020 15:21:34 +0000
Build-Path
/build/cryptominisat-XCeJsa/cryptominisat-5.7.1+dfsg1

First submitted
Tue, 2 Jun 2020 18:22:45 +0000
SHA1 of .buildinfo
d017c72ab5f8bda5edaade269a6ba5b1f0442702

Binaries

cryptominisat (cryptominisat_5.7.1+dfsg1-1+b2_armhf.deb)
SHA1: 9db83c61cd769d29c61d96a09144148e27405045
SHA256: 0578d729e6a57ba8171b8adb01a54dec24233feef2c16ee158a31b4d29815763

Size: 88,328 bytes
libcryptominisat5-5.7 (libcryptominisat5-5.7_5.7.1+dfsg1-1+b2_armhf.deb)
SHA1: 5288f648eb3586e32d388628b4a0fd0665c4f533
SHA256: 7683570efb7e137a4a89b2b7c09e00a3e1183be4cbb4f9e79e3ed32ab014d43a

Size: 379,428 bytes
libcryptominisat5-dev (libcryptominisat5-dev_5.7.1+dfsg1-1+b2_armhf.deb)
SHA1: 5d32224a96a2cf115560af1dd2567a54881a800e
SHA256: 1f6082f86143a1462b96f0a67b62dcb3b281d818d1c19e7236bd6c3d701a9a22

Size: 13,196 bytes
python3-cryptominisat (python3-cryptominisat_5.7.1+dfsg1-1+b2_armhf.deb)
SHA1: 4bb17172645fbe42ef83eecf0a51f4fb6616c46f
SHA256: 8ec08e0ba02ee841f1acde5d39c47b2d89412e566ef1990e921bd306f0f59ea7

Size: 17,824 bytes

Other checksums

python3-cryptominisat-dbgsym_5.7.1+dfsg1-1+b2_armhf.deb
SHA1: 2b02969aa6a98d962fb91f34f7d38bca488a0dfa
Size: 88,252 bytes
libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1+b2_armhf.deb
SHA1: 703aa38f235812979cd7ad54d62d08458f8bce88
Size: 5,223,912 bytes
cryptominisat-dbgsym_5.7.1+dfsg1-1+b2_armhf.deb
SHA1: 54ed17f9d1a427e805a948588f4a984e3425f257
Size: 1,123,568 bytes

Submissions

nxhbiquw
Submitted
Tue, 2 Jun 2020 18:22:45 +0000
Signed by
0xE3B4BB7EDC0B4691

Environment


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