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, 21 Dec 2022 17:35:37 +0000
Build-Path
/build/2/cvc5-1.0.3/2nd

First submitted
Wed, 21 Dec 2022 19:44:47 +0000
SHA1 of .buildinfo
9368c07f512523ee800062a55ee5e33bb8a71727

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: 66b95805729d3ff1747530da7fa73836cb32ef0d
SHA256: 9c6d520d6f2dbad69e55440f49ddc6c11cd9e1dfd60204b8a66c0a42951e3455

Size: 97,392 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: dcc72c3cb44ae091b96638ab1a0101482241902c
SHA256: 589644d94d90684d108dde6d7b9816c7840ded6b6afc247172f9dc3f01887264

Size: 2,522,720 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: 7a4af75d7ef91af29607a876ce8c807e28514ea9
SHA256: 007331659291b453d457ae95294b40ea78ee0f8298eecc872a13c743bf02d323

Size: 4,943,964 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 13671fd377a3debc75342e02861a60f57efba002
SHA256: 1ba86cc4fd55cecf2c9e7178f7db219cb0c6bb8498a5c194c82d9f1d271e3ff5

Size: 165,903,772 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: 4c17d3a3b156a8d9c929b45db25786905a4c82ab
SHA256: ed8b749ebd8207be4ec8f0b6c69c3f310205298420a9ea69e427c7dd96a634f6

Size: 273,428 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 2afd481cc36b1e157a5aa7a06812fe74a60175b6
SHA256: a3afb142e8b2da0d9d4cb1d47a1c74b2ced45217ba503a28f583b22fe2897beb

Size: 4,867,248 bytes

Other checksums

Submissions

xf4xwfst
Submitted
Wed, 21 Dec 2022 19:44:48 +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="1671500150"