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
Thu, 25 Jul 2024 07:22:53 +0000
Build-Path
/build/1st/cvc5-1.0.5

First submitted
Fri, 23 Jun 2023 03:30:43 +0000
SHA1 of .buildinfo
4578438b965b0e50b83dec337591c1295c39f28d

Binaries

cvc5 (cvc5_1.0.5-1_amd64.deb)
SHA1: 1ede0a1245f2740aff7e3be319fbaa901d5d6204
SHA256: a5b8343c16ef930f8d0c419d4392024ed736641618f7d5af68266c0819543c81

Size: 100,076 bytes
cvc5-dbgsym (cvc5-dbgsym_1.0.5-1_amd64.deb)
SHA1: 2e4e80d4634ed1d18a9b78f8f2855e2dc2d8d8db
SHA256: 6e5109806b79ae10629aee421df84de565e33fbdec361cf00b4fb3143de67bbb

Size: 1,833,948 bytes
libcvc5-1 (libcvc5-1_1.0.5-1_amd64.deb)
SHA1: 2e67ef1f607f08b20c3852d355444694a19b4c35
SHA256: c2b9956dac8b0b2a741351395f541803037399bd92a0fac91b4734726e0d40c8

Size: 5,905,968 bytes
libcvc5-1-dbgsym (libcvc5-1-dbgsym_1.0.5-1_amd64.deb)
SHA1: a9ece0ce613c480faac34309f6593d355bb91b94
SHA256: f01fae1469edf7e835a06ed7a32a55f36f8dec7ed70fcdf92295d09ec2f6fda3

Size: 170,632,560 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: 5a84b554edca6c97ca15324c041ab3de17ad905d
SHA256: b0f51db3322c698b43e140ce9d5adff11373233175595c4cdd6f13dac3354a8b

Size: 367,792 bytes
libcvc5parser1-dbgsym (libcvc5parser1-dbgsym_1.0.5-1_amd64.deb)
SHA1: ed5c090a91430e5987d4318b3ddbb436b5164c1f
SHA256: fb51530297680589fc21fff6c9a0b51a07921506defa9c3ca891349dc9d097bb

Size: 6,157,132 bytes

Other checksums

Submissions

qojbkqfc
Submitted
Fri, 23 Jun 2023 03:30:44 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"