cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 9 May 2019 00:13:09 +0000
Build-Path
/build/cvc4-1.6

First submitted
Thu, 9 May 2019 03:10:33 +0000
SHA1 of .buildinfo
e6d4d576033c740b70e7fd882725e2e4f3ccd6e2

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 7c2a3e2d50c515dee6e7d096d6915670192b837b
SHA256: e27db44af026a26b4f81052db706e2d49ef91e68d4038e14afff8a682ff3b189

Size: 137,916 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 11a7e227765cb1be5a79bea3ee98b9d69e9c8af9
SHA256: 87fad4b3625a45e1ca01b201664f2f1942415d083e42583a6237ce15e5892277

Size: 4,166,088 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 073ebb609d00e29b16d2a107816388e89610e8af
SHA256: 113ff3f2bde170e797067a8036f259217bdff3a4f85637b4c6bc91c358cbd52d

Size: 6,821,644 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 903020c376addf2fee81b0155eb1c6d9090ce1f4
SHA256: 94e4f29ed8fa93f684d02fb88982e15a6be2283532ef25c9b3073b8ff81648b6

Size: 362,200 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 78dcee6580e6d9453a7f7338e68edf1ccb7535e2
Size: 6,259,312 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: bdcc63294048a17015c0ddfa43bde69c7860cfb2
Size: 152,731,640 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 531e861ed750c797b401f07a4e70bf29f1cd5de7
Size: 3,600,196 bytes

Submissions

b3km9gir
Submitted
Thu, 9 May 2019 03:10:33 +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"