cvc4_1.8-3_armhf.buildinfo (view)

Source
cvc4
Version
1.8-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 2 Nov 2022 11:24:36 +0000
Build-Path
/build/cvc4-1.8

First submitted
Wed, 2 Nov 2022 13:37:19 +0000
SHA1 of .buildinfo
63e11ded799bf007c0f2c889d9b3fcc1998de0e9

Binaries

cvc4 (cvc4_1.8-3_armhf.deb)
SHA1: c7dedb6978d8e20989fefa972434e864b96a5590
SHA256: 3d5bb8817f7cd81c0134bc18c5ac8f9ca8b62955f9d9e6343e5e87c42068b588

Size: 75,128 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-3_armhf.deb)
SHA1: 78cf2c76765391a8f79f67e4018f98fc39ba077a
SHA256: cd9010973bcddced8ae85d694c7f59717083df46d8824c3efc2b2445a8cb44c6

Size: 1,011,424 bytes
libcvc4-7 (libcvc4-7_1.8-3_armhf.deb)
SHA1: f6859bc67a61bbdebfd9c363b81ec8fe5838324e
SHA256: ab351ad308cc3a08578e73c6f22fe72c205bca13fd437de5ae8500060c13eb56

Size: 5,298,276 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-3_armhf.deb)
SHA1: f068ec4c02a0cb43bb3021bc6624d395d8fe4e36
SHA256: d674a22ccbf3f51745ba9156c2b5eafd419e1a78b2beab8e6e4bf76956c67d91

Size: 195,954,512 bytes
libcvc4-dev (libcvc4-dev_1.8-3_armhf.deb)
SHA1: 39219b0c5162e3b78e75953d2ff56dd30360bcde
SHA256: 141f0fddb6acf4d8ce556581dae1f6ca22d163081a4a468e686f540aa7121999

Size: 131,108 bytes
libcvc4parser7 (libcvc4parser7_1.8-3_armhf.deb)
SHA1: 2c112a36b3ab871a25d7d20e72759ec68f79d66a
SHA256: 7932dece9b345d1d5e0b63d34858fcb430d416dc4dbc30c8e5fe564fdd182e79

Size: 329,988 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-3_armhf.deb)
SHA1: 6f635fd0444fd4ec7f8259b2dbda5e70446739c7
SHA256: a6fed757a25fbe51b3e912340da01557b16aa02b664f557a26c8d1fb027b94c8

Size: 5,381,852 bytes

Other checksums

Submissions

4qq9zy3t
Submitted
Wed, 2 Nov 2022 13:37:20 +0000
Signed by
0x8FCA21099AC7DFA4

Environment


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