cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 6 Apr 2023 04:49:30 +0000
Build-Path
/build/cvc4-1.8

First submitted
Fri, 4 Mar 2022 01:12:56 +0000
SHA1 of .buildinfo
a493572b1c046c332315fb45189077769964a1e6

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: 9554b42fb90feeba49198a16a333ddd56482ef75
SHA256: 86b96e0030173a22cf2db884379c82a42769531f273f53bec1ae1c92e6a34270

Size: 81,360 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: beccb0761c6e2086e17bafbf14e6f12b17b0340e
SHA256: 901c633634fa511669231873ee2d24694001fca6379cc69171ecdc2b44433018

Size: 1,014,792 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: 4035daec77763d64e75cfcf08da74f74f20ba844
SHA256: b81da9a725a816ee145af26b48f28a58928d6cd74ebc7a89904f869f440542c1

Size: 5,850,548 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: 2aa78712bbf97f1839de65c357318fcc2462d00d
SHA256: 567f7475a302c1a2b5a6b5fd969eb6af098002af2e1a87719d78f01b10fdfbc0

Size: 191,676,712 bytes
libcvc4-dev (libcvc4-dev_1.8-2_amd64.deb)
SHA1: bb3347e65ab694c2419db3b04f7cc35f114e3fce
SHA256: 336a71d9e102ea2299200413899ad81d7dd5d038f6671652fd88ae1c4771b870

Size: 131,264 bytes
libcvc4parser7 (libcvc4parser7_1.8-2_amd64.deb)
SHA1: 048755e32407d7ed4c51092b037bd8efa98034ba
SHA256: 84e01dbbc813a61190c6105064472998ae50280344894e142b368298153f93bc

Size: 364,436 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: 513dc73843ff272bbf182b6792e8e51e44621957
SHA256: 01013a35d3204e42442207c92994893f6d3c439de757a06ded9e0c196adc27bd

Size: 5,382,892 bytes

Other checksums

Submissions

trfhhgdx
Submitted
Fri, 4 Mar 2022 01:12:57 +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="1600360149"