cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 15 Feb 2020 17:51:17 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 15 Feb 2020 20:31:27 +0000
SHA1 of .buildinfo
c024df88f981fd239df9e6f1cc8db4affcb88974

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: b9170bf73aa6fc8996cb530b9ce5b24b3c216ace
SHA256: 36c709b5061baf521e456e3447588cfb3cfc18ebebe027c83b8bb3902369939a

Size: 139,356 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 051be4bda1c9fd0012db7738b2b0956ce07d1402
SHA256: e8ab3a70810443bd6722440f9cb497c4c9fed6bc0fb0612827a6c4b89314496d

Size: 4,511,828 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 96947475971c8ddd7f1456b58f352af75df0d424
SHA256: 79e9561061f734ec3883b7fbfcf62cf8de2993bd6348807e6077ff2cc3a395e4

Size: 7,274,136 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: fed6d6d828180e2b83959d63c930d4392a9f18df
SHA256: f29d93a8ab6978bd80a00549ab2a2e868175bd70e7176352204c0b63776950fe

Size: 367,496 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: e5cb7bab05c940582c60262ed4ae03c70f924adf
Size: 6,538,416 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: d761a1c377035bf3cb780067856a0a594d865e16
Size: 156,437,828 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: a5bad854b5613813ab19d196444c5300ba7cb129
Size: 3,690,496 bytes

Submissions

bcokvrsq
Submitted
Sat, 15 Feb 2020 20:31:27 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"