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
Wed, 17 Apr 2024 23:43:14 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Thu, 16 Mar 2023 19:11:39 +0000
SHA1 of .buildinfo
b95da5a3976fe17bdb9ee4f7f0cacb0f5d0f9626

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: 39c55514c318fe40ac4691e22ce37b4c5d598f11
SHA256: d685306d72d4e342af8e050e0a6232becf0d5dab9b1868aa10a0dbe0d2e623d1

Size: 4,944,712 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 10ee3bc8c59f8db91679e5da03b3bfd7274d9810
SHA256: fa023ff21f787a865b01dff43f8ed1cdc9f82173b696733cafbb36446cb36acc

Size: 165,904,068 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

otwyvtao
Submitted
Thu, 16 Mar 2023 19:11:40 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"