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
Sun, 12 Mar 2023 16:30:41 +0000
Build-Path
/build/1st/cvc5-1.0.3

First submitted
Sun, 12 Mar 2023 18:37:20 +0000
SHA1 of .buildinfo
c27d2e9fb5ab20367a1710e0ffe7de9b5fcc3195

Binaries

cvc5 (cvc5_1.0.3-1_arm64.deb)
SHA1: 5f5a583db40450118afe26c0219ef39b2a8cb630
SHA256: 231966d92103e8ef3aa4915b40aee789677bd1288a535dc1e84e7bcfa153cdb6

Size: 97,528 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.3-1_arm64.deb)
SHA1: 6f0b7d53cc24c06cdb9603d059e3b6512dd7f27b
SHA256: 20821e45f2d641edba66845825ba1efcde64c93ae2e96493a0460a7cd541b8dd

Size: 2,522,832 bytes
libcvc5-1 (libcvc5-1_1.0.3-1_arm64.deb)
SHA1: 8d01aca28bdb478e4a68e1cf0e9907a2cfbdf555
SHA256: 6fd471d426da4c49ccae1a9fa99d5da90bb86c5f09cc7c9a2ea7ed3ee6430a68

Size: 4,944,508 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.3-1_arm64.deb)
SHA1: cd2a3fac52933ce64236be955f5442b9686baab9
SHA256: f1b6cb87cce76bbb07c03e8a1b6fd0cfe8f9d1d621fce95a8f84b029092fad5d

Size: 165,897,284 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: f5a00020f138c198da31273805d41328dfe3912b
SHA256: fa8688b14dd5846d7a470bc713cf73fe5f056701b367cedc955c2489cc2228f7

Size: 273,156 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.3-1_arm64.deb)
SHA1: 7a0c08c54cd38cb87636e9d5d39389ac7257ef1d
SHA256: 36ea3fe5b6f2c27fe410909755a33a14027a1f32e735e83e1cdcc313568d7968

Size: 4,867,972 bytes

Other checksums

Submissions

zorhhg4b
Submitted
Sun, 12 Mar 2023 18:37:21 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"