cvc5_1.0.5-1_amd64.buildinfo (view)

Source
cvc5
Version
1.0.5-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 26 Jul 2024 23:52:10 +0000
Build-Path
/build/cvc5-1.0.5

First submitted
Sat, 24 Jun 2023 19:32:17 +0000
SHA1 of .buildinfo
ac7d650d7f9b35eb8eb7e9df335d4c65ce3b55c4

Binaries

cvc5 (cvc5_1.0.5-1_amd64.deb)
SHA1: 85bf65ce98ddfea40ba12149a36a313ec11cb91e
SHA256: dec96e77ccc4102641982160ab0ecf95c249ff42a419372564d4fdbb3f82c762

Size: 108,956 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.5-1_amd64.deb)
SHA1: 9956d00d8b76187d79ef430040022c4359b2d564
SHA256: 41c8919fdc2ebd9d63d0bae50522b4cff0f4682e2ca71e196277b84b9608bf94

Size: 2,549,864 bytes
libcvc5-1 (libcvc5-1_1.0.5-1_amd64.deb)
SHA1: 6a9279694947cd9914dff333b7fd950874fcc5a1
SHA256: 8122ad9a25d5b800eb266a4cbabfc27edbd9eaed375100460ed3fc662a4a1c0c

Size: 5,931,144 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-1_amd64.deb)
SHA1: ffddac2ed48a173c1a6559c411edb013c7bab461
SHA256: f4ade96bb5dae2f745770d44030068d978cb6fb3c3b4f6d6367d2e60396aef81

Size: 172,645,916 bytes
libcvc5-dev (libcvc5-dev_1.0.5-1_amd64.deb)
SHA1: 09cac8393fe7a1586325aa1615d7c4a8aeed7ccc
SHA256: 41aeb75f103667f57342c6dba1d6c474d11ab55084f39a2399d218cfd8e88664

Size: 60,572 bytes
libcvc5parser1 (libcvc5parser1_1.0.5-1_amd64.deb)
SHA1: 2b8918fbb68462a7efc79bd6883aa1a06274d4f7
SHA256: f41c2585f61992ccc89b7d8217b484eb7c219d819bc5ae035ece8e63b33f24ad

Size: 371,780 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-1_amd64.deb)
SHA1: ae0caf40f6b7a12b97190b1d91e8fec1dc3473e9
SHA256: 56ecdcea7f7b6cdfd1970b9813876ffa79e2a7f16ea23bb953e0b704b850d3f4

Size: 6,482,388 bytes

Other checksums

Submissions

7qk4bkvk
Submitted
Sat, 24 Jun 2023 19:32:18 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1687277466"