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
Fri, 26 Jul 2024 16:51:45 +0000
Build-Path
/build/cvc5-1.0.5

First submitted
Sat, 24 Jun 2023 15:46:24 +0000
SHA1 of .buildinfo
80d30fe1702d719fd461068ee25837d04c408bee

Binaries

cvc5 (cvc5_1.0.5-1_arm64.deb)
SHA1: 89591a6b988aa282326e9a9e38828acce4f8b0df
SHA256: c9ed29c7941f79efeac4b40b6759b4cf2da398deef15e257d58277260c8d5bd6

Size: 98,412 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.5-1_arm64.deb)
SHA1: ea2bf30636e51fc91a5ec47af295837e1dff87b6
SHA256: a7e25e67369fc99739ecc7387b469b3d7514638135093e5a60ac733784937766

Size: 2,528,908 bytes
libcvc5-1 (libcvc5-1_1.0.5-1_arm64.deb)
SHA1: 3c62705c3d1bfd36c96933e8dd8be6e61856fb9b
SHA256: 0b68d3976555184f759fc5f40de4704db7a9ecf4d602f8c3c6b0c0aa92e7ff5d

Size: 5,016,940 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-1_arm64.deb)
SHA1: f08a5051b2b5820877878a6fc0a33b3ff16577b4
SHA256: 42c96a7c4ad6428b0633156834f00d6ef5188e1e5ae3e97c61d91bca97599062

Size: 168,912,412 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: e004ab9edf06184bf66761844130cb12ddd81e5b
SHA256: 7b1fef2b0304c5bedabc2311148226f735e71ac043497f1631013335bd4c66f6

Size: 329,008 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-1_arm64.deb)
SHA1: 10c1668bceaea3967e37a4ac166859326aa93bdf
SHA256: ea60157778322393260dcb2c5821d70ae2c55262efba0738d8c4537e053c9365

Size: 6,280,212 bytes

Other checksums

Submissions

ybbk49vp
Submitted
Sat, 24 Jun 2023 15:46:25 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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="1687277466"