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
Tue, 23 Jan 2024 21:29:38 +0000
Build-Path
/build/1st/cvc5-1.0.3

First submitted
Wed, 21 Dec 2022 19:44:46 +0000
SHA1 of .buildinfo
c2882c5214978b0fb49d6c4109e9db4d42ba6678

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: 4bed157e4d913b2cf32547f75503d15b4af22aef
SHA256: 60b1a4e861313438546554941ae12aa64783bac7c2c0d47c045736c2a80c12de

Size: 97,512 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: 500ca4e725f460ebf3bb0a75ea03e9a3ecf013ec
SHA256: 2a002798f38b467552a90a26f5293ce9aeafcb1c39255ced90f0d1f3821db49a

Size: 2,522,836 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: 3f2b4a7d48ee0a5af7db307121f17928025928f7
SHA256: 379b7d535ed6294fa267e861565653c04fcb17c877ee6b6949053e66dda7e1bc

Size: 4,943,384 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: e75d62efd11a6b1c7fead1799dd46e394756fb8b
SHA256: 322601a740585495a9ffa3a88338472e3364a3162ddf8251b4cece2b3d924f01

Size: 165,897,144 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: 71025f5e07476185ac2b0e13da6bb995ff7856df
SHA256: 8f37711e78bc4122903bf933bdd56cf35a825eba5cb7ea8417026bfa1ff6c7ac

Size: 272,720 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 792cce8909578960ea8aa8e96c60dd6ebaa21a20
SHA256: 7f27681ea77b769b1f822f7c43dfe46a34e3b0ca962ca2be95be7a2737aaa84e

Size: 4,867,260 bytes

Other checksums

Submissions

b3ksysqs
Submitted
Wed, 21 Dec 2022 19:44:47 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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"