cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 24 Oct 2019 11:01:31 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Thu, 24 Oct 2019 13:27:16 +0000
SHA1 of .buildinfo
f32b3a99c33569d1646baaaf2d9f6f7ff04ddc75

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: ee34e963c1b509ad544067d09958f4bc87b2727f
SHA256: be560c5ca6e3270d921e18a971f37601c8c1a84a00e48e7ca6e5e6d3a34140c4

Size: 139,732 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: f217be1a363151d24a24322b120ee5f720538c5d
SHA256: f469b5f6f641ed034c617524318804b3c88c71c42a9567250ccbc746fe5ab34c

Size: 4,512,172 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 3cbdd654be9d079534ae9fcbd9e90a12987614ae
SHA256: 1a173ea05d419c49aec21a7062a218f82938701bada4215f122c946cce0589ab

Size: 7,279,384 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 652cb1a65637e3368e2b92f6123f278803a6d277
SHA256: 4042c6a5a00dc8088f16253deb219902dd6fb438f65bde9aa2541287cf2d854d

Size: 368,084 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: fa5f4c81311aef420fd441a64bc8d855a0ddb836
Size: 6,536,736 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 1a13764d11ff0526183966698bf4f62d9679d89a
Size: 156,398,596 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 515847ef69c69d6061b2b06107d65c325e187eb4
Size: 3,695,320 bytes

Submissions

yzj3wvuy
Submitted
Thu, 24 Oct 2019 13:27:16 +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"