cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 14 Sep 2021 15:26:25 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Wed, 12 Aug 2020 11:03:38 +0000
SHA1 of .buildinfo
cdbd805e3aacfac3c1ddf37afb1fd5a1ebb9017d

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 757918ee9aef80ef2064671fa0a3446db29d3315
SHA256: 73872533370d4bc865136a3fe3b6312f4b535855d541c3ba7f229a7c12fa3eee

Size: 140,932 bytes
cvc4-dbgsym (cvc4-dbgsym_1.6-2_amd64.deb)
SHA1: d210bdc6a382bc21f5f77bfabd435ec378f0d436
SHA256: ee837bd01c23f86502db021004d9abc5f729f8afd26896687a5e57b3affcb2af

Size: 3,774,616 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 9fd434d7ddde33687b2fbcc336db44f98125b976
SHA256: edb168ce219dc8fecec6565f94ac45275b65b7a6b6b0a115974ec082cc565c38

Size: 4,480,160 bytes
libcvc4-5-dbgsym (libcvc4-5-dbgsym_1.6-2_amd64.deb)
SHA1: 0699e4c2b6c673c53053e42b07e972ad766b8913
SHA256: f1703c1c49f0cafb6a6be4c9ebbc4655435ed39db0ec5093c241f9f5a62aaae6

Size: 161,520,512 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: e95ce8dd0445337178e14bc729dc95cb8fed909b
SHA256: eec444bc405e66546b8f102c875d8dc96355bd32cd6a2ba27623882b493385e9

Size: 7,086,276 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: fe6d9e891920550f02fa7167d04485ae396fa750
SHA256: adc457509d0308facaf9ee31262a8009a3168e172e50281e869ebea39ae50c8a

Size: 376,088 bytes
libcvc4parser5-dbgsym (libcvc4parser5-dbgsym_1.6-2_amd64.deb)
SHA1: 2d5ffa5a461f594db18a4380000e525b255ab321
SHA256: fcdd4a92731068f1a5a9095ca1064418392e19e3c94bdcd821095a0506e36759

Size: 6,590,240 bytes

Other checksums

Submissions

tqhxvrvx
Submitted
Wed, 12 Aug 2020 11:03:39 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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