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
Thu, 7 Mar 2024 17:53:16 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Fri, 3 Feb 2023 14:53:49 +0000
SHA1 of .buildinfo
13bcb065b730f63f988682f9aa60fb1fc483d9c0

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: e0eb116de8e38f94251eb2fec271c6a0b1cf5e1b
SHA256: e144a652b8817017326a64c4ba3a8379ef0146cd544cb868c3057a5e3d950abc

Size: 97,492 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: 9f10728054a5779b80bcb0f0b14d21df37df1b91
SHA256: 57d254fa05212a06422d40770529ae1b1d634f4ad1b227b8f11dff9c7ec680e1

Size: 2,522,784 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: 38631c92e746af0a6785eb48b9d7aedb1497833e
SHA256: fb9bee3ba6c585fa30cd3619d3e01b32e485d9e8bca56f5ba2541595e41b7285

Size: 4,945,052 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 23e5e105960fb02122995b2cc5d6091f17f1a207
SHA256: 9b37c947630876bfa6e0163a2333965d087014daa3f71476e25311ae55208ca3

Size: 165,897,392 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: ce5178b68b61db51063edf2853d54f9feb499f28
SHA256: 85feccf4f8de7542fb6bf0a0eb130e66866bc9afcd3ba403ad538f80dbf45471

Size: 273,512 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: c025224a4f8d7aac875b3e1075f2d4fb34b1ba10
SHA256: 95998810f02edfb21b4084615edc2330da642e57b8b479f7c3516fa373c69118

Size: 4,867,808 bytes

Other checksums

Submissions

kogtfayk
Submitted
Fri, 3 Feb 2023 14:53:51 +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"