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, 16 Mar 2023 14:41:42 +0000
Build-Path
/build/cvc5-1.0.3

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

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: 598de6909d7473d08f9491d75b292bcd02c02bff
SHA256: 8b6b75081baf7872537c5b9aeacfe42ce752066f7624cda7496700a7c693b7ec

Size: 4,944,020 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 6cbd875381b2070297e6f727e8e932f65c8c2236
SHA256: ecd55b784885c1bafd9bed146382b396ab28c4c6bb7a2f9414399930a9471de4

Size: 165,897,676 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

xxsjfpfz
Submitted
Thu, 16 Mar 2023 19:11:39 +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"