cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 28 Jun 2020 01:54:09 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Sun, 28 Jun 2020 03:54:26 +0000
SHA1 of .buildinfo
0027db6d6d4339e906de53b38a2fc64e3f1a916d

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 5b44bdb1c9febbde4b548d041240812afd39f136
SHA256: b13e3c5e8d7b525bc19a8032d977e115d737be62375da698932ce9294e5c85fc

Size: 140,804 bytes
cvc4-dbgsym (cvc4-dbgsym_1.6-2_amd64.deb)
SHA1: 9551e645ff401f7055b06038a8e008d2a43ad459
SHA256: 297478afb50bcf5c88345cd76560f611ac1c4941613c3205fe7a4a9a327b7398

Size: 3,835,420 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: be62e2f19cedd02bd53f30b1075c6e572600c1d9
SHA256: 65daf6a7485c116f7f67d3031081df30b1ec9f2cfb2c7630f7eef6ff5ef5e688

Size: 4,511,220 bytes
libcvc4-5-dbgsym (libcvc4-5-dbgsym_1.6-2_amd64.deb)
SHA1: a06d14c8a4d5ba2c388858e2c914ad432cf38da1
SHA256: f6362e42e88382b38e23c3d86fddadbf8a74fff87c40f593503c9be1dd46e23e

Size: 156,933,508 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 8baf069990efc75ec5829a043129c410d3df9192
SHA256: 023b1f4bbcc58f1a646a3768d3ba4a0f29c42aa0aa65dafe0f279e11f7640010

Size: 7,273,060 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_amd64.deb)
SHA1: 3cba71d255b049c4a5aae81f9bc269e6a0baa542
SHA256: bb7aa20fd171fe91a87687a3aefbc717b9e1b789d6bdfa0c9be91e17c6f49e97

Size: 367,604 bytes
libcvc4parser5-dbgsym (libcvc4parser5-dbgsym_1.6-2_amd64.deb)
SHA1: aef9e37216d21d4cbd1e97119597a01a79fcd7e6
SHA256: a07b7a20da75ddd7a852aa072ba0578fd72b0dff10777caba8499ed47f0a9bf0

Size: 6,584,800 bytes

Other checksums

Submissions

r97crq7c
Submitted
Sun, 28 Jun 2020 03:54:26 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"