cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 18 Nov 2019 21:47:25 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Tue, 19 Nov 2019 00:12:26 +0000
SHA1 of .buildinfo
3eb83b964dad743224896b8e86c30cadee32e687

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 556809508f3ac3eadd87ee37f48f5e77348acb42
SHA256: 9adfa8945a7394241f70c027be78267ac6e5c30ae8aab811788696be50b411cf

Size: 139,288 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 88a90816f419a7accf301d9e43fe166f56a03181
SHA256: eb1a7d7f67a25d9dba7b43ad9dcf543751cbc0e18b9c1f2fecce5346b404988c

Size: 4,510,760 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: c64c10651af71396234dd8bd0dbe7f2f0681d619
SHA256: 183d0248e5bc45fb1dffef16354072f76a17798bdac765a280d2c050e1dfaf9b

Size: 7,275,156 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 933af0d706507a9c24ccadf51f3b3022233c0a5d
SHA256: f4851502e6d05cda79ae0cef0e9d12ffe685007da030c224079657d552dd537d

Size: 367,520 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: e0b5e5c96010dfe22059d617d8ebbc04b8cc7c3f
Size: 6,537,632 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 600caa92c8627015a967a2a971a5f0922732778c
Size: 156,423,572 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 1a4de62bf6fd353257fffe693e36243d0197c00d
Size: 3,690,728 bytes

Submissions

wdidz9na
Submitted
Tue, 19 Nov 2019 00:12:26 +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"