cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 10 May 2022 04:49:13 +0000
Build-Path
/build/cvc4-1.8

First submitted
Tue, 10 May 2022 07:37:18 +0000
SHA1 of .buildinfo
aa64514694f6ed24f69ecab2ca63a3e3512a5862

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: 22894474af7947ccdd506959347bd8e8e6d6274b
SHA256: 2a9fa483889e2cb0d9c4541e6457eee1c5b4efad52ae700f03313d5af451dbc2

Size: 81,412 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: fd142d11fda08e5e37cad1122a76e0f4365603fd
SHA256: 4743e83bcd2376f056b1b71477f6e53d6d9e0fffc006d41d2087d8cebd24eb01

Size: 1,014,748 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: 50a4823817e4485143e5fa1e354ebaad1209ed56
SHA256: 63ba1c8cfef70dc7c4e78eaaaaa58ce8548732096a42941f0a651d3ec11dcc0d

Size: 5,840,212 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: a1d2d71bff54253cc2407a6bd5b19d64f1945965
SHA256: 41ba5e0ef3f7a35b5f56ccf2e2e142efc3672a2be6502815c0d7fb2a6ac95006

Size: 191,657,204 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: 14c2429691436cb4d2728f0fc7812443ae8be9d1
SHA256: 5074bba9383b3f529c8e63c93ba76e5a31cf8c92be4e84fd53acc9169f6d8c0e

Size: 364,432 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: cae25f1a6ac439b0110d5135e3bdb3ca1b649f91
SHA256: e2bf33d85500bbca9f9cfda98af1696a17ebdc927c3c00c352c3a446bdd2c532

Size: 5,383,324 bytes

Other checksums

Submissions

tf4rqara
Submitted
Tue, 10 May 2022 07:37:19 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1600360149"