cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 2 Jan 2023 10:37:30 +0000
Build-Path
/build/cvc4-1.8

First submitted
Tue, 30 Nov 2021 06:35:02 +0000
SHA1 of .buildinfo
c12d268895fd90c34dc3cffb551c2457c762804b

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: 590bf6b58ae91960b9f0dbc2e4f62eb82ead5676
SHA256: 1bb552bc7e350823fc7686b192d471d1d26e2a2b8c76b0480f87e364c43c650f

Size: 81,308 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: 566f602f4fb2f00c63d31a780c9b0b5aeda00774
SHA256: fc0b36b7db1f2e319a7b023beebb1d68e8431b1b3b242f89c5a80de59b5a1d90

Size: 1,013,984 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: fd1afc675fe00f813ad5db1f637f3c876644063f
SHA256: 12e93593843b6e08f5eb0073ae3bc5ead373fd7436f9c745628d51d7497d9e1e

Size: 5,844,512 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: b7a23da39edbad551ec8f26805427d81e8224972
SHA256: fbaa45045538f0f65b26eff74a702f0207ecc9ebac4bd4876da527da4e4d57a9

Size: 191,674,960 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: 4f964610503870c08d31579ce63e17c35ad30f1a
SHA256: 40fb46129ed642a47a963780c52002020c1d758cb0c8fed9622fa1fcbbb2d84d

Size: 364,388 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: 760e915f380870b55b04c7756d1144941e195248
SHA256: 8338e6885127156d715e9deffd28c8c95ec8cfb108f019511d9f81dfb6a490c4

Size: 5,383,020 bytes

Other checksums

Submissions

qi4pmbaz
Submitted
Tue, 30 Nov 2021 06:35:04 +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="1600360149"