cvc4_1.8-2_amd64.buildinfo (view)

Source
cvc4
Version
1.8-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 29 Oct 2021 02:42:04 +0000
Build-Path
/build/1st/cvc4-1.8

First submitted
Fri, 29 Oct 2021 05:01:54 +0000
SHA1 of .buildinfo
7a131efef101436d6318a849390a443b34c29dbd

Binaries

cvc4 (cvc4_1.8-2_amd64.deb)
SHA1: 23773aed93af42f2fe6b4ddf923706f65a555943
SHA256: 1961bb2758c8a667dfc06d486f57d80d5fa9cc3dc98cb78f87a6fbe8a4fdd0e9

Size: 81,244 bytes
cvc4-dbgsym (cvc4-dbgsym_1.8-2_amd64.deb)
SHA1: ee049c43a5c48862063e551addd71b3e609c7b9d
SHA256: 6cf2dccfb5c3f877f6aeff3c171567b17951458f2c2d8e1ddfd2deb84d1bb224

Size: 1,014,288 bytes
libcvc4-7 (libcvc4-7_1.8-2_amd64.deb)
SHA1: 97f7b37429e9626bcd5c4d7e8fc72141846c69a9
SHA256: 51443cff06af7397e1688cf4ef81f46b86c3a1be434bf5dbb31b012ad87ed29d

Size: 5,851,884 bytes
libcvc4-7-dbgsym (libcvc4-7-dbgsym_1.8-2_amd64.deb)
SHA1: bdc78d392821a3e120d7bec3b3f214be19ce9ac2
SHA256: 747b98e45696fcbac70d6e464aad0841ae9728f82853af8a4f35b9f195ed572d

Size: 191,683,024 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: 2337555658254bfb8222acca405d8a116b06a87d
SHA256: c6a2898125ad5428e1676016301a70bef53a3d35fa862e72e90c9b35fd48a531

Size: 364,152 bytes
libcvc4parser7-dbgsym (libcvc4parser7-dbgsym_1.8-2_amd64.deb)
SHA1: 3c3eac4fae6ba021250fce4e3465593f898d0e80
SHA256: b3f6fa260e155f2bacce26e9d1796894d64381e9d75fa76dcbce87d18d4d492f

Size: 5,382,736 bytes

Other checksums

Submissions

azu39tas
Submitted
Fri, 29 Oct 2021 05:01:54 +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"