cvc5_1.0.3-1_arm64.buildinfo (view)

Source
cvc5
Version
1.0.3-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 9 Feb 2025 19:47:19 +0000
Build-Path
/build/reproducible-path/cvc5-1.0.3

First submitted
Mon, 8 Jan 2024 15:30:19 +0000
SHA1 of .buildinfo
3e1aed361f4458d0c69a905ebab282971ee9e48e

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: 9e68e985791c84492190f69da563de77093f38ff
SHA256: c08f350730748d9e26364693875c86fcad73d7bb3fe6c398ba06817e921305b8

Size: 97,432 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: b73e09546b720995544e5454f6957dad391ebb51
SHA256: 1c33742d51adfe548f677a8266c9a03cd665185e761a0e4d7921beaffd79bbd7

Size: 2,523,068 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: c3d3852992b498940401086b1ce852a0fe0bd7e8
SHA256: 0df632cf385a0b1d2948960b7c37b493b8f611df68f3af36144cfbb51a37a556

Size: 4,943,152 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 7f01a0668b1087c3d34435f8658c262f5675aec8
SHA256: 4d62561568e3e9d84501cc0f881c45871911f09831b8f55e62caf00b51b2830a

Size: 165,903,884 bytes
libcvc5-dev (libcvc5-dev_1.0.3-1_arm64.deb)
SHA1: 7ddb81da21803a2ca6fd82ef8feb78e045233b65
SHA256: 53bd799580c1216c334e7e91a4d0c3cbae3218a8dc76548e725148b86f19bf95

Size: 58,576 bytes
libcvc5parser1 (libcvc5parser1_1.0.3-1_arm64.deb)
SHA1: 0b877a8887cde72853e70ab74795b50d52b81242
SHA256: e8fcbc2ac293787d7cc79ebe2225acde0cfbae661ebdfb12f45acd994f05f43d

Size: 273,216 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: b36d4dc1be7535548b37675d15030405cf8f0600
SHA256: c3d56ca5b788c14c57b03b18f4c3dff77825c7d4c771027e721c93c123b8bb5f

Size: 4,867,504 bytes

Other checksums

Submissions

brwj3gm9
Submitted
Mon, 8 Jan 2024 15:30:20 +0000
Signed by
0xB2C8EDB564786B74

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1671500150"