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

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

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Mon, 15 Jul 2019 20:07:27 +0000
Build-Path
/build/cvc4-C6yqWj/cvc4-1.6

First submitted
Tue, 16 Jul 2019 00:56:46 +0000
SHA1 of .buildinfo
6cdfc5a8a16aa725f6ebe9c10be01118c3c6c1aa

Binaries

cvc4 (cvc4_1.6-2+b2_mipsel.deb)
SHA1: af08951e1164cf735f553c9c1ec9a5f6d9cdb97c
SHA256: 75b5fef95c6db2749b01dd8088fc37fb9b73b15fe944e477ef64aeafc8bf9429

Size: 123,868 bytes
libcvc4-5 (libcvc4-5_1.6-2+b2_mipsel.deb)
SHA1: b16149a67b9864fbeda0a5bf407a4231a604fa29
SHA256: 208567dbeb9c36d393a3276ec12482cb1abab6fed760bf964125a5e5d772cec8

Size: 3,338,784 bytes
libcvc4-dev (libcvc4-dev_1.6-2+b2_mipsel.deb)
SHA1: 9ce6d2698c64e2351ff8117f3877ce1fda461dfd
SHA256: 8822caeb839a5cdce563811c1f8501aeaff66947c7590f5363ebab9cb058add9

Size: 7,272,224 bytes
libcvc4parser5 (libcvc4parser5_1.6-2+b2_mipsel.deb)
SHA1: 5e54336e3cb114c4554e55c511d34b6754d4c7f2
SHA256: dd389e9884e1f444f0a9740b65da2633ab609a099acaa551eaed52392279cc47

Size: 303,620 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2+b2_mipsel.deb
SHA1: b73d840a77eaeba9ef9cbcdb030d42eebe53833c
Size: 6,025,960 bytes
libcvc4-5-dbgsym_1.6-2+b2_mipsel.deb
SHA1: 61d76a432d5c1c4c579323356e8e3116e8ab971d
Size: 150,012,656 bytes
cvc4-dbgsym_1.6-2+b2_mipsel.deb
SHA1: 9d98544d9483fc8dca9cacfe72ce0aa150ae483b
Size: 3,513,400 bytes

Submissions

txsfre9f
Submitted
Tue, 16 Jul 2019 00:56:47 +0000
Signed by
0xC0BF082DA8AD6020

Environment


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