cvc4_1.8-2_armhf.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 9 Jan 2022 16:54:12 +0000
Build-Path
/build/2/cvc4-1.8/2nd

First submitted
Sun, 9 Jan 2022 19:07:57 +0000
SHA1 of .buildinfo
f1031fe1ec1b95b40cee207c9ec65c13ce07a57f

Binaries

cvc4 (cvc4_1.8-2_armhf.deb)
SHA1: 15ba9045e7170417a373a1c6fe448c7b352ce422
SHA256: 1d6522584a3341ef45ce78649243eadb88f465470f78f811b67574350fb0cd36

Size: 75,836 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_armhf.deb)
SHA1: 4651c1cdd79af38dd884defc72e7f622f18c56b2
SHA256: d47e6238b5c8937d0c602b255ad5b4bd9133f8c9969dcc45c9819f61a574ff0b

Size: 996,312 bytes
libcvc4-7 (libcvc4-7_1.8-2_armhf.deb)
SHA1: 2f680a916dd037940ea13495b37bb628354d168d
SHA256: 909aeea19c4f2eb5d3dcd993789382a393e1c1fc2f25f9b086232b35c5749d4b

Size: 5,136,368 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_armhf.deb)
SHA1: 4f38aeefa996a7bafd60f5ac61be21b9b38f6bda
SHA256: d08224789f721b71695b9eb28719f7fd70ca6bc8f839513682e3dc195bc82011

Size: 187,143,148 bytes
libcvc4-dev (libcvc4-dev_1.8-2_armhf.deb)
SHA1: 9c40a7023613d2509f0da3cd0754f9af0a3aeb75
SHA256: b0e4065dc1f1a33104f7274a98de374bc449892e8ff6481128583029fa6d25c9

Size: 131,264 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_armhf.deb)
SHA1: e557135d1b60050d9cb82469e5974b1b8abf9465
SHA256: 07ccc8e790b9f63bb918e87d1541bdd25c59f2e63558d6b300d9573aff73b90c

Size: 328,800 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_armhf.deb)
SHA1: 55e075af9e09ee3142be84e4312df1dda312232e
SHA256: cf255def839be3be56172ba3f38aef3ea9187317b631d372dac1a59818095bd2

Size: 5,292,212 bytes

Other checksums

Submissions

3xuomvqn
Submitted
Sun, 9 Jan 2022 19:07:57 +0000
Signed by
0x2EB7D8A099C83DD8

Environment


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