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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 14 Jul 2019 18:17:00 +0000
Build-Path
/build/cvc4-4jRhwS/cvc4-1.6

First submitted
Mon, 15 Jul 2019 00:14:10 +0000
SHA1 of .buildinfo
5c7741fb8c63849118851121b1d15d98654ae7bc

Binaries

cvc4 (cvc4_1.6-2+b2_amd64.deb)
SHA1: 7ba3668b853163a8c45433cf2de800b6ec4854e7
SHA256: 8514bfe79828cce97b92f11aa2af350486bf764d4c7d9bce84eb0295dee6276a

Size: 138,024 bytes
libcvc4-5 (libcvc4-5_1.6-2+b2_amd64.deb)
SHA1: a14b79512df6b2f828b87ddd6669fa3455a9605a
SHA256: 689ad7878d08ff6bc8ce3202d9a5cc65967391b8aed606d428020535aed468e0

Size: 4,165,912 bytes
libcvc4-dev (libcvc4-dev_1.6-2+b2_amd64.deb)
SHA1: 1b3281648a648b022d26edbe8bfda728351ac848
SHA256: a46380f8cd37c2a5479b315c9c7df0988fb062104ed6ebb7940f8bb6a798cbd1

Size: 6,820,408 bytes
libcvc4parser5 (libcvc4parser5_1.6-2+b2_amd64.deb)
SHA1: 06feeeaae7fa55fcebdce162e66fd33cf00e41f8
SHA256: 0672fdb2ac7f8348664feae17c4998b7463454611d5a4c00a6598ffd8ab6b691

Size: 362,508 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2+b2_amd64.deb
SHA1: a0e66e7b2c6263063a3f559639340d95e33033ef
Size: 6,257,676 bytes
libcvc4-5-dbgsym_1.6-2+b2_amd64.deb
SHA1: c4f36c4ea16e9d87337f47e51e036a67aae4086f
Size: 152,591,712 bytes
cvc4-dbgsym_1.6-2+b2_amd64.deb
SHA1: 6b3815282145ef959af38380ed48accabe92e156
Size: 3,597,044 bytes

Submissions

iz4aqhyr
Submitted
Mon, 15 Jul 2019 00:14:11 +0000
Signed by
0x5662D826D856701C

Environment


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