cvc5_1.0.5-1_arm64.buildinfo (view)

Source
cvc5
Version
1.0.5-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 23 Jun 2023 04:19:37 +0000
Build-Path
/build/2/cvc5-1.0.5/2nd

First submitted
Fri, 23 Jun 2023 06:50:15 +0000
SHA1 of .buildinfo
8c50e43c2c22517882e5c5ffca35c85c69626e73

Binaries

cvc5 (cvc5_1.0.5-1_arm64.deb)
SHA1: bcaa4de6f139d0b34aa93b2cd021a91ff61cd07e
SHA256: b99eaa36e3aa3f5b728eaacf5f52e06c9a009e4decb1c7099a0ada41017e3877

Size: 87,780 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.5-1_arm64.deb)
SHA1: 65d16bb586da8d8d84cdded0dcee6d92db9d6add
SHA256: a9987f9133a657b256aeb32d002847eb173db0e5879d48bc1dfe21eb4d920489

Size: 1,800,352 bytes
libcvc5-1 (libcvc5-1_1.0.5-1_arm64.deb)
SHA1: 6deb55956a48ca818b4cad8b1960e953a670fa38
SHA256: 9d74afc00750b0f472e0c18f1e78f0423709ed57e37de9f7e248799e15f9bf57

Size: 4,987,088 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-1_arm64.deb)
SHA1: 458cfb47a754b808b5f0c6edc552cc9d2fca8e12
SHA256: 58297f903eb9f2368e07a49bf3dcbfadb4b01246a22b7169a75468cfcce5a3d5

Size: 166,874,200 bytes
libcvc5-dev (libcvc5-dev_1.0.5-1_arm64.deb)
SHA1: 1a708e93649e4a253da91b04e71b0ebf3d57335e
SHA256: 183da36c9a48162014dd3c4304f653597960943ab7c789983830be17f6d7924b

Size: 60,568 bytes
libcvc5parser1 (libcvc5parser1_1.0.5-1_arm64.deb)
SHA1: 18b9ed388fbd9687eb7ec5578d7bcec3e59dcfa8
SHA256: 4e58d5870229d0205bf104b330d4d6ff33f1de89a4142ddbb82257804597b4ba

Size: 320,044 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-1_arm64.deb)
SHA1: 57c549064c853cdc3d19371cee931454fb088a0a
SHA256: 88962eb49373790fffc2cd6a8ea468cf6937d109e030f6dab8ddc0196d0f206e

Size: 5,962,932 bytes

Other checksums

Submissions

ghorbb43
Submitted
Fri, 23 Jun 2023 06:50:15 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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="1687277466"