cvc4_1.6-2_mips.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Tue, 14 Aug 2018 04:17:39 +0000
Build-Path
/build/cvc4-ykjF76/cvc4-1.6

First submitted
Thu, 25 Oct 2018 09:49:18 +0000
SHA1 of .buildinfo
b783c4fe83cb2f224fdc30d653c6a00cfb4cd584

Binaries

cvc4 (cvc4_1.6-2_mips.deb)
SHA1: cc51da1e0b588058205cc1a1008381d13763d005
SHA256: b48208d7ce59a91804d0e8640c6f420ce1cfbfd3ac81637f43bd19f64972debe

Size: 122,700 bytes
libcvc4-5 (libcvc4-5_1.6-2_mips.deb)
SHA1: e4fddb786244de1280a2491530736a2da2633103
SHA256: 770ec8702a42be3f8e09c07706563276b9999391582061249c20e9360788bb66

Size: 3,184,140 bytes
libcvc4-dev (libcvc4-dev_1.6-2_mips.deb)
SHA1: 2eed333bd0bc72a53998245cadbf56038c30aedb
SHA256: a22723c1476cf81fac8388b33f9e7c7dbfc1564f0e91094e325fbd861bfecf77

Size: 6,914,796 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_mips.deb)
SHA1: e64192c2cf710828b1fba457dcd3484933712cae
SHA256: b609de5b0f81ced8b7ffa4484de108798b7e1db2e677b1819b348bcf91e54d19

Size: 296,316 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_mips.deb
SHA1: deefe60ac2d52fe28880e77842a1238ac793783d
Size: 6,196,856 bytes
libcvc4-5-dbgsym_1.6-2_mips.deb
SHA1: 1e6e37a8195eebc8c1579a739f842b0844853596
Size: 154,187,548 bytes
cvc4-dbgsym_1.6-2_mips.deb
SHA1: 0186b47cf3ad74e6ea8dc09404651d46cef008c7
Size: 3,576,228 bytes

Submissions

jc4cmusn
Submitted
Thu, 25 Oct 2018 09:49:18 +0000
Signed by
0xF2D679A5626310D7

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1534078846"