cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 31 May 2020 04:25:29 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sun, 31 May 2020 06:50:40 +0000
SHA1 of .buildinfo
a8935b51d49f09ecd3c72d4ad8f17f32d0770570

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: fd1d0ced3a56c635dbe8c57d5c370a7d349d614d
SHA256: 295a88e3df4939eb523ba2b6372592b946b1008e47b38aec695e8acb82fb1f11

Size: 139,648 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: ef7d466afda03b424e662ae442f986807c0cd8e6
Size: 3,719,124 bytes

Submissions

jmq4xpko
Submitted
Sun, 31 May 2020 06:50:42 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"