cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 27 Apr 2020 15:49:25 +0000
Build-Path
/build/cvc4-1.6

First submitted
Mon, 27 Apr 2020 17:49:44 +0000
SHA1 of .buildinfo
d4d9fe92ad5bfca5164432402e205bf3f7013b90

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: fc3c21153a2455ce20e55d19e1a5d86f208a3642
SHA256: ac34e409495820a7da3415d470ebdf3969298acac5e860dbb392db7b630171a0

Size: 139,372 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: ad368325b738f6105e36ebe3a31bbc76e3c7e6e9
SHA256: edb168a1d85a18256ae7d76904d87d7b57f33954face945d2fd3e72ab81b6f10

Size: 4,511,184 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: aea9c4a5afb53fbf90abdcecb05a64f59d468f65
SHA256: e2e213eb338e621ef771eb4bdb88ee628fff2d76428f0dd5a696b0da9386452a

Size: 7,272,664 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: b796938e34a6be897d35a296602960e98ae5bbc7
SHA256: aee5dc2305938130f57acba15f0bc5201eb2be98cbc0a58b4e88a983f9fe283d

Size: 367,972 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: 96c43b55a55fd5f8f6419d7794950f303d78fb95
Size: 6,584,648 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: dcd9422c2abc3f4a95083f5af0d6a6c75f875ed6
Size: 156,926,936 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: eb3459bd6b5330e8eb0b0fb791e5cb2175295ce5
Size: 3,718,720 bytes

Submissions

9be4tqok
Submitted
Mon, 27 Apr 2020 17:49:44 +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"