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
Fri, 3 Feb 2023 12:51:01 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Fri, 3 Feb 2023 14:53:51 +0000
SHA1 of .buildinfo
116925c8d9674c2b603487a9113173c862382a18

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: ca4baf4beb7fd4d41f52f3e7776f25a48894ce2c
SHA256: ef7e5e75539cd93063b75a02826a2a8442d389297fad606f711381edaed491e6

Size: 97,448 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: 95f52934fe45cc0ecaa2931ed0d9969c59243810
SHA256: dcd23ac0cd09c5f033a747190a0ab9df872d6daf4451251554a7f51a69da5496

Size: 2,522,776 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: bd116564ea9aeb0b21798ea835460abdf78e1462
SHA256: 3df3315b4d9a189a8c16f214b7a9d3ea90d4534c790ff08b8167472ead3fe9f2

Size: 4,943,616 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 5a817159b5555288838d2464295b62f20d8ba4ba
SHA256: 7a45ea89dc5d48b58a6c714b7b004f39febb3d4650a7122035aae156da4c0c5b

Size: 165,903,456 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: 7b1806296896472e12f1b347cd80aabdeada6b4c
SHA256: 82d25789ee4247650a516a6cba3d606a935100bec5c3730f0665c5b48d90f327

Size: 273,344 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: b3a0554bd2a1c5560b2483a1120de40ae568f479
SHA256: 67d9cac8a9abdf5477cb43ed28ed38b0e565518895c894251c1d1e02e2bde67b

Size: 4,867,920 bytes

Other checksums

Submissions

szkhygxp
Submitted
Fri, 3 Feb 2023 14:53:52 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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