cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 21 Feb 2021 19:50:19 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Mon, 20 Jan 2020 16:10:25 +0000
SHA1 of .buildinfo
28fc39b8f9d29071ad209a72be5a1db721cc836a

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 766228bb78fc2e9787fd0d02751f70feece25eca
SHA256: 91769a01d819ef9e140d551901ea6e436dd558dfedea9c232e32c2676869bf8a

Size: 139,772 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 49158f4637677b42f6664fbae7c56f2bb19258a3
SHA256: 4a52ee0d2cf2230d981730878aad1764471431155c1eb7756ed89e11e835f5d0

Size: 4,511,096 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 9538d1593759057edceb360ad818e5b943b80711
SHA256: fe370256279fc11000c16830445f9b0b63202cbdd381215de71f34a14894185b

Size: 7,274,728 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 66f5b77b29c69419ce329045700caa88891729a4
SHA256: 615ccaaa222b69e9a665ca81d78ff27675c2723ed6d04e8e7f786a054f818307

Size: 367,368 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: f4698c96fa9541581ac7a0f2426d59f1a4384df5
Size: 6,537,140 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 07131b77854bd20f93925cacca9162d4395f3fb6
Size: 156,415,776 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: a73ac8b8952ac7422800a89f1c93e0e26a6d8d05
Size: 3,692,508 bytes

Submissions

x3k3qa9o
Submitted
Mon, 20 Jan 2020 16:10:26 +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"