cvc4_1.6-2_mipsel.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 14 Aug 2018 02:31:21 +0000
Build-Path
/build/cvc4-hTcxkf/cvc4-1.6

First submitted
Thu, 25 Oct 2018 09:59:11 +0000
SHA1 of .buildinfo
779052e2ca5e81031b3d47272476165b19e2b8d4

Binaries

cvc4 (cvc4_1.6-2_mipsel.deb)
SHA1: 1a218d73b003a943177c791e219d6d766af436df
SHA256: dc32af8109f77bbce1687474e9c7751e0e62bf39ba7ae91abe9f535ef86a1da5

Size: 125,104 bytes
libcvc4-5 (libcvc4-5_1.6-2_mipsel.deb)
SHA1: 036eb6c958cd04d4fab4b88d33c1d9c52b3fee72
SHA256: c14a8f9bdb79bf97c1114e21763685b045e42267258002c9f6ee0872be14d1d2

Size: 3,234,076 bytes
libcvc4-dev (libcvc4-dev_1.6-2_mipsel.deb)
SHA1: c792322c52c7d47d73880e906c05a74916570624
SHA256: a640de13c53dde17450ad725423fee78474e5a9d6f1e99ae6286c5ed58119f57

Size: 7,144,416 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_mipsel.deb)
SHA1: f44770b1fb77b26ea8180df457cf577b33ef902d
SHA256: 051850a4209140f28e4863f681ed8823a9056691d52350c087f0604f63547716

Size: 303,652 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_mipsel.deb
SHA1: f8bb17806987f7349a206ac9089dc2eed8c9921d
Size: 5,995,804 bytes
libcvc4-5-dbgsym_1.6-2_mipsel.deb
SHA1: 21ffefd1236c31494b87e2d45675cf65b7cdb88f
Size: 148,848,320 bytes
cvc4-dbgsym_1.6-2_mipsel.deb
SHA1: f56cfffc1662632667303aa66aeffc1fae32b8d5
Size: 3,463,420 bytes

Submissions

san3f4oc
Submitted
Thu, 25 Oct 2018 09:59:12 +0000
Signed by
0xCF69A5775BDC5DFD

Environment


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