cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 26 Oct 2018 21:46:44 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 27 Oct 2018 00:40:04 +0000
SHA1 of .buildinfo
99dd1d7a1b4d304d661e9eb3849396272296700e

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: d4e7da5aa714c08f93ea80ececf551e6174fc0b1
SHA256: 1f3c1675d023b711eb1cb17f840701b6445924bd0d65be4f507d3f4ca82875c6

Size: 140,356 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 2834a77650713fca9d18e4f796d60f674042b0ba
SHA256: 61df7cba0c661be3ad7fbc4e0657dce51ad45be1969fc58326499ae6a61e8b4f

Size: 4,055,400 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: c12bd6d5b9402f2acc265994ef9436b88b5a3bf4
SHA256: e2a21de00bb5c4ac400805db07b7b98e5702ac5e8eabdc3bea2ce5e03f6e951f

Size: 6,714,712 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: fcc0db663510f89d93ff9a239d590a5e20868c1d
SHA256: ecd76f3cce729c79a8da156b30c85357e42c4c1368347aab64bea85e55fae0d7

Size: 362,568 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 2a9610069478f6a9670141d9fbb20fd87c3f11b1
Size: 6,220,796 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: fe9c6bbcee04b6b0d358ba646334201b9b2cf588
Size: 151,331,360 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: a4d07b7cba807b85bef134e2ee40029d46df81fb
Size: 3,545,324 bytes

Submissions

s4zxwijw
Submitted
Sat, 27 Oct 2018 00:40:04 +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"