cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 20 Aug 2019 17:12:47 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Tue, 20 Aug 2019 19:49:19 +0000
SHA1 of .buildinfo
c977c7188b48192654fc878cbf4e37b8593a3ec2

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: c703e034e5a43e2663436864730ca834c2de4f43
SHA256: 272352b8c82cce87a93fd2d0e98140550717af843dd7c0e3fd8961eccbb05fdb

Size: 139,960 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 4b7416e6b6e1a6458d9c9b7557c2da729aed4dcb
SHA256: c5cdfeafe702c42149682651a21ff79fa7601855650f4b0ffc8c3cb86a6479d8

Size: 4,512,976 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 02e48d2bf766668620ba8fa7cf579dc4f506a7ba
SHA256: c45e664359f068283ebee0a1a2e859d625932239ef413160a00caba833e76260

Size: 7,278,404 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 68d586852d73702491a772a6c30c4de4e579f89f
SHA256: 3f8d753596f6941a2e23047e247ba8079e533b28ac4e55e16283450c6fc5edd2

Size: 367,612 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 342fa265981077763d04bba98bb467382066ec67
Size: 6,537,344 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: a7b481e1e44e9f86f3883a0c801c210e36d85228
Size: 156,375,836 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: f0700bccd0c3166be0320b751a84093c03b34bc9
Size: 3,693,524 bytes

Submissions

mcnjconw
Submitted
Tue, 20 Aug 2019 19:49:19 +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"