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, 25 Jan 2024 07:38:06 +0000
Build-Path
/build/cvc5-1.0.3

First submitted
Fri, 23 Dec 2022 02:39:37 +0000
SHA1 of .buildinfo
ee8b6f2d2814b3f8bfaa382a69fbbeb1b23f1a91

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: c29f7f15cd03c61a167bcacc364f573139c2be66
SHA256: 2add63c36eb4f874ffc7e721d5daaf209d9d646d86530cd97dc3947ae7b15d82

Size: 97,488 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: c811993e05f39fbd2fd0fa28b068fed0a7867b1a
SHA256: c90054dc63214411728d4058c500517a3bca4247eab3100cf5d3f7789f269012

Size: 2,522,788 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: 0683f7b87b39b2b46ab14467c5dbe71c48d74b4d
SHA256: 193e9976c5d0be05da890cbdc29d0bfe98f52879fdd81b2bffde9807e5c0a0ce

Size: 4,944,036 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 39f3da2edd19e642e2510c9d5f84f4c0fdd10543
SHA256: fb9ef0fff21ec41a3f180f5c39c4fe19035b128058a4a2bc69c32b17b6b57300

Size: 165,897,596 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: 895ba2800b36dfea9d13be43b828e943cb1866d0
SHA256: 852024ebb4d066377080bc15924a49d874a8490115b129265e85508e0bfef634

Size: 273,120 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: f1f9504af262e0a4642b1a46ba15a38077a2f023
SHA256: 1df2aa00c5ba00ffb749c25bd1063ca16fe95d8e4c57fb2cf0426fb03235eec1

Size: 4,867,708 bytes

Other checksums

Submissions

u3jkiybj
Submitted
Fri, 23 Dec 2022 02:39:37 +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"