cvc4_1.8-3_armhf.buildinfo (view)

Source
cvc4
Version
1.8-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 26 Jun 2023 06:47:20 +0000
Build-Path
/build/cvc4-1.8

First submitted
Mon, 26 Jun 2023 09:18:47 +0000
SHA1 of .buildinfo
8dac0a4a67e9a3a1f91363e660eb455ff54666f8

Binaries

cvc4 (cvc4_1.8-3_armhf.deb)
SHA1: cf12ab40d1205ee942c5bec10128f1324894e9f7
SHA256: 125b5ce622f650a2f1893abdef68320e0baad8a7d637351b2ad77039d2e75670

Size: 74,772 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-3_armhf.deb)
SHA1: d5d545cb36babd63c8cf862c437aa29393f20d08
SHA256: 9b4580217ac0545940e7e07ee6728547d4a04164d58b4e17b3d1072f6dac7234

Size: 995,016 bytes
libcvc4-7 (libcvc4-7_1.8-3_armhf.deb)
SHA1: 041109825e83bd5494ab7f9961846d617f80a18b
SHA256: ffef46ba3d2d45052d221464da494330a9cc80a8b8a0f2b94c70de30833494fb

Size: 5,261,896 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-3_armhf.deb)
SHA1: 7a09ec14b3da14a3a7c0de51ad11e5374a371844
SHA256: d966e3da418371dafd972c84a4c18d3b3704003eff06f440d8051fceec41c721

Size: 194,037,316 bytes
libcvc4-dev (libcvc4-dev_1.8-3_armhf.deb)
SHA1: d8c513e18a13aabccb8ec4abf35d77de587ba4b4
SHA256: 1ead5611eaa30cdf64204bb5cfea32cab0ab94f57a5dfa21fc024c68a0ff89d0

Size: 131,180 bytes
libcvc4parser7 (libcvc4parser7_1.8-3_armhf.deb)
SHA1: 8b0abe0756eba5e6342770a23a9a21f6280c1157
SHA256: b7b451ee237c2a221d667ce41af893a14ea8f462f6233c88685da4ad40f9e529

Size: 322,056 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-3_armhf.deb)
SHA1: d6cd48d42930efe167cee22e6a408792d8a9aed9
SHA256: 93aef216c1de140c2acb064d8e4d2687d2b5ba9e3ab3bc8abc06194cff912c9a

Size: 5,153,812 bytes

Other checksums

Submissions

7frqx9f7
Submitted
Mon, 26 Jun 2023 09:18:47 +0000
Signed by
0xFAC0B94FFF2617A2 cbxi4b (Automatically generated key for signing .buildinfo files)

Environment


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