cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 5 Jul 2022 22:13:38 +0000
Build-Path
/build/1st/cvc4-1.8

First submitted
Wed, 2 Jun 2021 18:26:59 +0000
SHA1 of .buildinfo
3c6727b5a2dd76803ff2842830c407bf6de9c68f

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: bfe2b5689915067779b5b5241361f35eead6709c
SHA256: 98b1f1b27e26ce78b48348c3a7daf34cfc17f67d16bc08b855878ba1ff57d3df

Size: 81,560 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: 896309efd6ee5133827c4d25f75a52266c86e051
SHA256: 605ecaa166a2cba7a63c977e428f953d326ba8da2f9faf5b19050b4a28c0356f

Size: 992,788 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: 764ef8a99971abcf4a2fec034f9716c691377c0b
SHA256: 9e1a161080532a6be33e7abc014df9bdf1eb1003540d7396c6ae928513edcf9a

Size: 5,647,816 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: 8bba758b3f696451aa5735a12e0f97e476e6984e
SHA256: d3cf4731b9c7f71ba5311cad9564dafc744a5dbcdd728675433aec2df303f491

Size: 186,525,772 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: fdc146c73017e31da85dc7dc65e2e10a4263fd7a
SHA256: 564a3b2bd47a08c66ce1a582fa2cc53ba53158dba238ca901de471fcabd956a5

Size: 365,972 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: 7e18a0bf8c6513b653639f3142ea7d7ac77ade58
SHA256: 52d5ac0fab1b79f958ce3e1498bb0518f35fa5c6e0548218b8532877d26734d4

Size: 5,160,556 bytes

Other checksums

Submissions

kytbgoqt
Submitted
Wed, 2 Jun 2021 18:27:00 +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"