cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 12 Apr 2019 07:01:48 +0000
Build-Path
/build/cvc4-1.6

First submitted
Fri, 12 Apr 2019 10:00:40 +0000
SHA1 of .buildinfo
4dccdd441410e4d7e5b9f3913bca58b70ad78aa7

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 5842a20a189d4928e84389c5bb9a4b9aeedf9569
SHA256: 01a56a63408e71778d587835a5c65d7af5d8d77cd0f489fc42bc5d335f2db6bf

Size: 138,096 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: da59356e8e778d618bca50b2843e5fd814d08f11
SHA256: 815fc5bba9a91cdea9bd0fe5921ea08481fe5f8126c82c31c8d9ea1965c05592

Size: 4,166,788 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: cba41a74fab2976ea04e1d597350a4239e0f27a5
SHA256: 8f08f4d3427f3818b342d4865b3ae02600b7bab27ee28ebc3904ffc18a8ac3d3

Size: 361,960 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: ce9dc89fef78c4a6c44dbb61d1e6f7fd6433a8f5
Size: 6,259,296 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: f389982630b64b00055c2610936ca67cc1a81da6
Size: 152,731,720 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 03a841b942418d0048748401889d6cc486e93fbb
Size: 3,601,236 bytes

Submissions

dtpgc4yp
Submitted
Fri, 12 Apr 2019 10:00:40 +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"