cvc4_1.8-2_armhf.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 16 Jun 2021 02:32:39 +0000
Build-Path
/build/1st/cvc4-1.8

First submitted
Wed, 16 Jun 2021 06:32:23 +0000
SHA1 of .buildinfo
d347250cda2930ae7319397f1798164ea25ad306

Binaries

cvc4 (cvc4_1.8-2_armhf.deb)
SHA1: 2b559f31ad434df7d7af3592bcf774d7f2cf92c9
SHA256: 625daf46d62f4ba0f4fab06bef98de14307d3e07dcff52a79d7d99d0764fe260

Size: 75,680 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_armhf.deb)
SHA1: 8314e2720c0953285a36d3dc83b3c6e053114549
SHA256: d7a60ae5df967d3bc5d3f7ad1788c069a38daf604ba09dd31a17c6f71654699d

Size: 972,972 bytes
libcvc4-7 (libcvc4-7_1.8-2_armhf.deb)
SHA1: 87bfb69d98ffcabae40867b01d1bc1afd46cd1ee
SHA256: c72e5f0fb718bec352c161480bb17ef986fd6f113e18c0cc3d855ea5d2618a76

Size: 4,988,672 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_armhf.deb)
SHA1: cc157229f8eb36f49987639618e27ce8d3e4d828
SHA256: ab102cf3470b5a9edfbf85764c31f1b7084655e9adf4cc3de8d552565dcfa7fd

Size: 180,404,992 bytes
libcvc4-dev (libcvc4-dev_1.8-2_armhf.deb)
SHA1: 893ab43c6d54461746ee03e35804c2ef384d2ef8
SHA256: 54e8f4796d4ef13e0fc27703343743aea3b0bda3d35561ca81912091847d21fc

Size: 131,256 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_armhf.deb)
SHA1: e08ac200bc01a8a524b35e4ee438a111382eeb28
SHA256: 494ec7678be3b2035f075551fae304fcfb06f2f8155d43a8ea4c22d13f932eec

Size: 328,664 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_armhf.deb)
SHA1: 39874173846a4868ec0839b791fee1c20efc4967
SHA256: 46677b6c7470459c69b1cd16feaef64e7549f76dc561cc6f72d0c2a21caa17a2

Size: 4,998,944 bytes

Other checksums

Submissions

ovo3w3bk
Submitted
Wed, 16 Jun 2021 06:32:24 +0000
Signed by
0xCDD42D70685A0E01

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1600360149"