cvc4_1.8-2_armhf.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 21 Apr 2022 02:52:10 +0000
Build-Path
/build/cvc4-1.8

First submitted
Thu, 21 Apr 2022 06:40:07 +0000
SHA1 of .buildinfo
f28f7dfd7a62205caf3604846cde056d5a117088

Binaries

cvc4 (cvc4_1.8-2_armhf.deb)
SHA1: 3c9e50699834ca9e9eb4218eee06b033f3761210
SHA256: ddef208ea34c9cbc75b7be56833909ddd59854c0fe631f78a7ff15f60e96b0d4

Size: 75,920 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_armhf.deb)
SHA1: 9f4bd24c21acad737dea90fd951a5b355a208a99
SHA256: 5becccfbb0bff2d73cd89293663fc54cbf8e2c2ba0167f1cc39d0c9029e1a34a

Size: 996,432 bytes
libcvc4-7 (libcvc4-7_1.8-2_armhf.deb)
SHA1: cd63173ad097347d4c2e7e2648abf6110687f7ef
SHA256: 233000d27f082d9e9899e341c783fad68267b1be289ba328b20dc6ac146bd049

Size: 5,127,360 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_armhf.deb)
SHA1: d8006202dfc36580a5d95c01c8484b0a1083eae9
SHA256: ed70f276a759b27966afc9b2ee3b36c5101a10f201be150172f3fdbf07e20743

Size: 187,102,772 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: 01bb08e41cd279f2d54fa5ab5bfc2749c2c1600a
SHA256: d8d9767d058af900aa097cc50143101a4abf3030293a8dd355e959836e187e01

Size: 328,628 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_armhf.deb)
SHA1: 1c0066674ebd443aa06fc81e909597135f04b6be
SHA256: 1c57952f3a0b0addc21422028352f0d88d9fb2b2bbc87cbd5e9892b2e41d5a59

Size: 5,292,112 bytes

Other checksums

Submissions

qvsmvhvu
Submitted
Thu, 21 Apr 2022 06:40:09 +0000
Signed by
0xAEC7FC78A3E8B530

Environment


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