cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 6 Jun 2020 11:52:52 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Sat, 6 Jun 2020 13:53:20 +0000
SHA1 of .buildinfo
494b4bed319bafdbe6110c9e7300152be8f28602

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 09b33ba50bf8833da2129cd8c42a7277ed1619d8
SHA256: e43369cfb7b811f5edb651c5f0e9e36d1f7e84ba74553833c1d5901ceeaa336e

Size: 140,652 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 79d6f95b7f5a9b169993ba5742188188757c52c8
SHA256: f06a506e014ad1899f3dcbbe32f8e9259422db5b09e9ee61b5c94b7abcc4f657

Size: 4,511,668 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 70ea7599dd301591ddc3978f49d59fd08255cc19
SHA256: b9bfb4449cffed70be9b50e6f5c5b1442ae76622161dd522f2415742f00291d7

Size: 7,270,344 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 7e3250bbfcdc83daa35b3fc952f16ce6f43b5e4e
SHA256: 062a9a1417b205b74bdaf2ae0b362688e52640fa5dc86e0f680a19aa3eecab41

Size: 367,812 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: c76a2fc85d01e2f1b94b4ca8b8cd28f783fa152b
Size: 6,585,036 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 9994813c635e07f871d94c66301d15c18895f78c
Size: 156,933,508 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 393d09abd0c9f1c0deb0e02abb8eda4e0bd15983
Size: 3,835,200 bytes

Submissions

nfe7rr7u
Submitted
Sat, 6 Jun 2020 13:53:21 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"