cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 13 Aug 2018 21:38:27 +0000
Build-Path
/build/cvc4-X7N2d8/cvc4-1.6

First submitted
Thu, 25 Oct 2018 03:03:05 +0000
SHA1 of .buildinfo
c5ba5b171e2b04adba3a080bf03e50bf68735aa8

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: 43e9faa3ee59d6ccbf731875e2e0b13b309ea167
SHA256: 69b3c3b6850c6a6dd97823796ba92bfb5936f3376966d4a22b5252ca221fbc62

Size: 143,176 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 22221409034e2e851374b7ba308e8b2c72ef543b
SHA256: b21429ba1d354663e34539743fe3e7fcd44421de61ecd510d41848b93de63e2d

Size: 4,505,808 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: 3afa644afd24c4cb8f0a0fb71f1f8c06665c1552
SHA256: 7d0782ffad63289e05380bdc49693c69785781e18f4aee5c91520386ec3e1b96

Size: 7,210,596 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: 8304553a80ac43366d035473a92f1ce85a72a387
SHA256: fffc60e581aa61729155c13f726316115538024d59e86f384d6f9188c3a9df46

Size: 390,780 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: f0d98f881fb568ae49b4d0b7a02c03b592e81e86
Size: 5,968,048 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: c238bc9ad857594a2259b47a50cc0d2bafcaf4ba
Size: 147,844,824 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 1bd115a27ca7bd3e80024d6f44b4e1fee07e43d0
Size: 3,480,308 bytes

Submissions

oeusfmbr
Submitted
Thu, 25 Oct 2018 03:03:05 +0000
Signed by
0xF9DB3F7D36830DF3

Environment


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