cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 14 Oct 2018 01:10:27 +0000
Build-Path
/build/cvc4-1.6/2nd

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

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 0f693b3d6f13eb58be5219d8ae73ca4a7d907e45
SHA256: 94ee0b79488a49ab0986cab598dc67df6771fd8cead8f5272b3fc5973d8983bc

Size: 140,264 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: c06e3edbf87497d9fccb4776aeaf742ff9c29563
SHA256: dad3334342548b24fc0f47482b95cabcf0dbe47af50160de78be3a0c24cde051

Size: 4,058,368 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 45dbbab06708374dec93697e264eadc98dd0d71d
SHA256: 27ecd77ab9b4e8e94d712cdbc8a93db47edfc0f92cdff99f4ffb5530747c4870

Size: 6,713,504 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: 2a695dec88f08c20cd1c5c830a6612608dc93f4b
Size: 151,566,584 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 260155820afa86dd3f50180f776e4dcb3fe356af
Size: 3,556,676 bytes

Submissions

ndxwosrz
Submitted
Sun, 14 Oct 2018 03:10:46 +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="1534078846"