Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 16 Nov 2022 06:05:24 +0000
Build-Path
/build/cvc4-1.8

First submitted
Thu, 14 Oct 2021 02:05:03 +0000
SHA1 of .buildinfo
762e0d3dedbfe8166edcd1a4cb6600ea8f665981

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: 8ddf943f8680860282b7df940eee17b21317ae0e
SHA256: 9eabf62270e906d628edb118af7d38490d1e9d165b9386aca557a4330aad81be

Size: 81,384 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: 0931016c503b32f1ea33ac286c0f2b9afba37f0d
SHA256: 316c60af4fe4c5949c10d6af0db2d84f96af8c813aeabb1c212d2a3dd13e2587

Size: 1,002,784 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: b07c5cea1a9f55c8ff19b4ab2a7bbfc5be80042a
SHA256: 8fc9b7651e419b836ace0d55346cb5b832600bab6f4f68e5543691eb4c87c0be

Size: 5,663,172 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: 766818bd4ed48af2b781ffaff827f579a27a98b7
SHA256: 646678154ba899003d8353670345b10e0a53a0c769ccd16897cb593544952c65

Size: 188,405,676 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: b3b6256e2ac99d9676f64d03cb80aa70c142dc2a
SHA256: 73328269f56b37997772ae0abe3a1f59c6de0c2108e24a879f98fb4815fe3302

Size: 366,212 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: 4200e7b17338f564c83247fdd857dc92c09d2bc1
SHA256: 8f8df6d51aa27b988890bb6d8a1a53c11c1cd204e52fb3113784563b2b08eaf5

Size: 5,266,276 bytes

Other checksums

Submissions

Submitted
Thu, 14 Oct 2021 02:05:05 +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"