cvc4 (1.6-2)_1.6-2+b1_mipsel.buildinfo (view)

Source
cvc4 (1.6-2)
Version
1.6-2+b1
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 19 Nov 2018 19:58:35 +0000
Build-Path
/build/cvc4-MHi6dM/cvc4-1.6

First submitted
Mon, 19 Nov 2018 22:00:53 +0000
SHA1 of .buildinfo
f52e25694239e340148488a064ebf9d225c33066

Binaries

cvc4 (cvc4_1.6-2+b1_mipsel.deb)
SHA1: ea016742eeb370aac05ec778373cc70e06c727bb
SHA256: 1367b64995d362e58307ad406a0ba9636e817349d6d1171c6440af23d585f1d8

Size: 122,700 bytes
libcvc4-5 (libcvc4-5_1.6-2+b1_mipsel.deb)
SHA1: ce7874863212c5a113b086a10b5370c89077c6cb
SHA256: bec670760546af5c741a450fab44c5260a173888783cc880cdbf428fb41ff0aa

Size: 3,237,676 bytes
libcvc4-dev (libcvc4-dev_1.6-2+b1_mipsel.deb)
SHA1: b1fa439a010c8df489433a938a65573a8bf92c13
SHA256: 8cd4e5015fdf509389d41578ed6b5295c9d6695da2b530df3c82061b1f787d84

Size: 7,150,896 bytes
libcvc4parser5 (libcvc4parser5_1.6-2+b1_mipsel.deb)
SHA1: a4b6241b8452096ab97d2e5625c818523cb0a890
SHA256: 2b0e1ad451ecd452fae38b1fd38ddf46d17b13efb933b41a7a2a2a39c60348da

Size: 303,720 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2+b1_mipsel.deb
SHA1: 0628a379e37c1ac424903faae4f314407e1c8f93
Size: 6,007,752 bytes
libcvc4-5-dbgsym_1.6-2+b1_mipsel.deb
SHA1: 1d38ae3eda12906eb0ecd728cc4a9004bff46ae2
Size: 148,899,964 bytes
cvc4-dbgsym_1.6-2+b1_mipsel.deb
SHA1: 54b226bcb66633320ff11d68a27179077a2946e9
Size: 3,496,236 bytes

Submissions

4swbbokd
Submitted
Mon, 19 Nov 2018 22:00:53 +0000
Signed by
0x19C73F8BBB39A447

Environment


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