cvc4_1.8-3_armhf.buildinfo (view)

Source
cvc4
Version
1.8-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 12 May 2023 02:18:13 +0000
Build-Path
/build/2/cvc4-1.8/2nd

First submitted
Fri, 12 May 2023 04:39:42 +0000
SHA1 of .buildinfo
26b42988c6a95199e9bc2a1961813041b880c001

Binaries

cvc4 (cvc4_1.8-3_armhf.deb)
SHA1: a8c47dd09ec8576da0642e6803e0fbc0fdd5cee6
SHA256: bbb4021f2f824a7f729119245cd7749a42767e61c2753fabfc14afdfeb8094d4

Size: 75,168 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-3_armhf.deb)
SHA1: 11e6cb43cebf3ec3a2c0754ca9df3bf59d5ae202
SHA256: c34c5a431f6962137214d2f23272b9136ce1128e4affea59f3a79e59a03d878d

Size: 1,011,396 bytes
libcvc4-7 (libcvc4-7_1.8-3_armhf.deb)
SHA1: e2217b8193ee4366e3ccd03ef23cd7b45ad1408a
SHA256: 8ad8197885d17668e580213a2bfce6c9e58d55b3e6d7faba8341dc489da90d0b

Size: 5,296,148 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-3_armhf.deb)
SHA1: 18c654750194b1f6987b657e7fcf99b59b83a858
SHA256: 467020a4f280bece9bf821019fb801af9e9e78fe81ad5b1aa9835e85f5d5d698

Size: 195,966,716 bytes
libcvc4-dev (libcvc4-dev_1.8-3_armhf.deb)
SHA1: 501a44619c65a228cd962008c6df51ca6de4a36e
SHA256: 2faf9528f211ccdd0c8017c30ee245281de4a43cbcb9e45b9b132d929d149927

Size: 131,172 bytes
libcvc4parser7 (libcvc4parser7_1.8-3_armhf.deb)
SHA1: 95a88b9eb82faac785aea7bdbe521ddd32c75f25
SHA256: b602ee9fc0ed051b9d9e0c41fb6b214fa45c6d7b6be1d8fdcb783adc7bc5a7c4

Size: 330,168 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-3_armhf.deb)
SHA1: 3c49153d2a137208ed339ac4f790d5db076561e5
SHA256: dd9acece53a31c9eb1d7496d15be6f5b3a6c211546e182f3ac5a588773edddc4

Size: 5,382,120 bytes

Other checksums

Submissions

9ycamemm
Submitted
Fri, 12 May 2023 04:39:42 +0000
Signed by
0x2738E803AC4FE478

Environment


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