cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 21 Dec 2020 04:34:44 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Tue, 19 Nov 2019 00:12:56 +0000
SHA1 of .buildinfo
ad934aa1516bd1ea8de410b99ad233471a38ac76

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: a6acb618a86481bc9ab1077011963a70904364c4
SHA256: 0411af67457e07fa85165b25880a2931224d62d12dae80a622387d44ad21f620

Size: 139,292 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 9339542a9ac96101f58ff8d6d20e4d62d503f536
SHA256: f2b7be3890165240b002e33011f1aa7eca165ee12375627b6275343d850ada4c

Size: 4,511,064 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 5a53953633e79e09c28be6039bf24eee601b8222
SHA256: 7f825dba0b228a62dbe79c7fca729e0bd2a16b498bc3197447d3ea7b2d590a33

Size: 7,277,908 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 933af0d706507a9c24ccadf51f3b3022233c0a5d
SHA256: f4851502e6d05cda79ae0cef0e9d12ffe685007da030c224079657d552dd537d

Size: 367,520 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: e0b5e5c96010dfe22059d617d8ebbc04b8cc7c3f
Size: 6,537,632 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 8b057513b41072e33cd8c8d483666014cbc0e78c
Size: 156,422,648 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 1a4de62bf6fd353257fffe693e36243d0197c00d
Size: 3,690,728 bytes

Submissions

dko3rjgi
Submitted
Tue, 19 Nov 2019 00:12:58 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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="1534078846"