cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 20 Jan 2020 14:09:50 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Mon, 20 Jan 2020 16:10:26 +0000
SHA1 of .buildinfo
64be467ea3468afe0790920deb06df52d483150b

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: ad4cba1a0a7c386f293bdf5507d9c0fae98a6171
SHA256: b09f1ba0f6a9705c87629bfbf3c5781748142e9d4431049967927aa640d15c77

Size: 139,764 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 05ac02e36c11a05f0681f8424f16ccfca50c96c5
SHA256: a1b23aaee461e58b32219b3e6184f22e322323e26fca08580ec6fe86f2a0dff9

Size: 4,509,388 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 273ad28d9e8f1c5a42d837ee0c0f2dc7fb0d491e
SHA256: 082a30adc44a51129df95365f26f7c512e498b61b3e22cad443932f8479b8148

Size: 7,273,444 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 66f5b77b29c69419ce329045700caa88891729a4
SHA256: 615ccaaa222b69e9a665ca81d78ff27675c2723ed6d04e8e7f786a054f818307

Size: 367,368 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: f4698c96fa9541581ac7a0f2426d59f1a4384df5
Size: 6,537,140 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 46303d73ba080bc60da5e956e01ab37660d320e6
Size: 156,416,284 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: a73ac8b8952ac7422800a89f1c93e0e26a6d8d05
Size: 3,692,508 bytes

Submissions

bq499rzi
Submitted
Mon, 20 Jan 2020 16:10:27 +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"