cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 8 Nov 2019 00:49:22 +0000
Build-Path
/build/cvc4-1.6

First submitted
Fri, 5 Oct 2018 20:56:06 +0000
SHA1 of .buildinfo
847470430ab935b66781f327497834bfc2fce489

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: cb2d248fa2e73e4c16707d8a083283ab2a14976c
SHA256: 825ab4febaa7cb9b7ab1a5f973d7600f7c88ec3c377b75c0898717bb012f6721

Size: 140,260 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 7497d431eda5ac083f88d62e9373e39486913b67
SHA256: 404d2644bcdc20d7f140583e689872cf51ab978dda9fed7e4e3c053b8e01bd9a

Size: 4,056,804 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 23ea423482498274013e26c89ab5fd84b8eb4f9e
SHA256: f04aa7616dc0838efea91a3871636fc4ebf81d18d6752123242b705d6cebd405

Size: 6,713,480 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: f715f36430e0b0e988c4b7b9258bf97aae270d19
SHA256: a799edcb622a9a33f15a35b2d5b731d787e38ceda6896fdefd683298a4cc7313

Size: 362,680 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 0130a105e3a10bdf34d30b6aeff21086bda68086
Size: 6,231,248 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 757a09fbd80f788ad57d0a7de776273a992c815f
Size: 151,566,528 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 260155820afa86dd3f50180f776e4dcb3fe356af
Size: 3,556,676 bytes

Submissions

ttabb3t4
Submitted
Fri, 5 Oct 2018 20:56:06 +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="1534078846"