cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 27 Dec 2018 11:16:28 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Thu, 27 Dec 2018 14:07:29 +0000
SHA1 of .buildinfo
e91691aa6fcde4ebfdf7ad236d219a196c5c7fc8

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 0f05ffae0dcbda4c8b939edc0ae380cbc2189344
SHA256: cdde6d62970f7a6000a3daef9ef30a236faad1155eb0dd503cb6f731656eca22

Size: 135,756 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: c5f3f05656dade971fcdb710376ecfc17e1c74a0
SHA256: 4689cf61b05d2fdedbc21289f2adce6ae75a0e4d0e4ea366ed9c21d3672488ec

Size: 4,057,612 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: fd6ecfe787c83c078c3a9479b2623225775cb4e7
SHA256: 8860c230e1b043a9a59510335f59d6808e22482c94be3f05d82ae9817a2506f5

Size: 6,716,800 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: b7624492fcf106aaa591a16b75ea6b6158d21397
SHA256: 059b606d1cba4f0e7b2e1572411e46ec940b8e49b3b643074a483bce09537507

Size: 363,188 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: fdb3aeba5c60a41acbfe2ed8d9cff143f78271b5
Size: 6,265,776 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: b1c1878cbb7f2ce4fe0ae7c4106eb542d1791b40
Size: 152,437,128 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 841bad4af1aea4cbe3348006503ba4da745b36a4
Size: 3,583,104 bytes

Submissions

mirh9nk9
Submitted
Thu, 27 Dec 2018 14:07:29 +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"