cvc5_1.0.5-1_arm64.buildinfo (view)

Source
cvc5
Version
1.0.5-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 20 Jun 2023 21:25:45 +0000
Build-Path
/build/cvc5-XkEdAi/cvc5-1.0.5

First submitted
Wed, 21 Jun 2023 00:17:59 +0000
SHA1 of .buildinfo
053c89657a35991d45a60ea1807bb7371d95be61

Binaries

cvc5 (cvc5_1.0.5-1_arm64.deb)
SHA1: 6b44442c1eac8c0264c8c5d4c850375130cdd6ed
SHA256: 890e607d15ca21458efba9dded439f3dfc95c8ecda9842dbf56e4614f423976b

Size: 87,896 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.5-1_arm64.deb)
SHA1: 8d1adf773ca37d3f5760a986dcfb85862019cc3e
SHA256: 4fb8a11e0e5c0cbe231b4db5a1ef80e764e7c0033a0c69ce4022e7397f96f92b

Size: 1,800,032 bytes
libcvc5-1 (libcvc5-1_1.0.5-1_arm64.deb)
SHA1: fa3e7902190ad21a75a7ee65608cf75b9536b164
SHA256: 457ce0ff62cd967c7a56d692ebaeebc8a65e5e2228150311912ea49b6853ab2e

Size: 4,987,324 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-1_arm64.deb)
SHA1: 7ed10bed28fab796996a842f5e1ae66435056fd0
SHA256: 0b30b7ea9aa76e38fd7e9bdf69ec5f781075314187149af1259c394b4e32af4d

Size: 166,862,172 bytes
libcvc5-dev (libcvc5-dev_1.0.5-1_arm64.deb)
SHA1: 1a708e93649e4a253da91b04e71b0ebf3d57335e
SHA256: 183da36c9a48162014dd3c4304f653597960943ab7c789983830be17f6d7924b

Size: 60,568 bytes
libcvc5parser1 (libcvc5parser1_1.0.5-1_arm64.deb)
SHA1: 320381b7932168a581f696998807346e09ac44e8
SHA256: 2b92484dc8b22d5a4ea82e7a2c50067f3521c36862d10687e53676faccbe6935

Size: 320,040 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-1_arm64.deb)
SHA1: 4db4d728274a775d7b872fcd492483ce2a3f64ab
SHA256: 2a1bdd3fa67ffc7b0927f0bef322cf28cc8d342ee68dd44263250ebc3034c6bb

Size: 5,961,980 bytes

Other checksums

Submissions

kkpmxw93
Submitted
Wed, 21 Jun 2023 00:17:59 +0000
Signed by
0x870BDCEB9ABB8A25

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1687277466"