cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 16 Nov 2019 06:19:12 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Sun, 14 Oct 2018 03:10:44 +0000
SHA1 of .buildinfo
c1bb09abe9b0988452cc0ead156d062137847470

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: 825f8b11a062819c4de0c612652fc57a968499f3
SHA256: a1012a8ac82871e0f33846d77f40592fdfbf6296e2fc14c0aa702241eb50e94a

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: 4cca7122de79393b9bf8a188a56dc0e4e809d034
SHA256: fd26ca373eb87a5dbcb02baee265d3491b10f5698aeeab9e9a75e3f6ae70d9e7

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

toju3m7m
Submitted
Sun, 14 Oct 2018 03:10:44 +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"