cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 30 Jun 2020 20:23:31 +0000
Build-Path
/build/cvc4-1.6

First submitted
Tue, 30 Jun 2020 23:12:40 +0000
SHA1 of .buildinfo
ddc3b47e09147d35273a6b8fe05b72b2be6abcbc

Binaries

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

Size: 140,804 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: cb6c8fb32c17cca79a089ac6123787fadb24139f
SHA256: ba992aad1de0ae0ba5af511f5dfe10ce8f44f4f98f30d42b50a8769fec2035d2

Size: 4,511,432 bytes
libcvc4-dev (libcvc4-dev_1.6-2_amd64.deb)
SHA1: 70ea7599dd301591ddc3978f49d59fd08255cc19
SHA256: b9bfb4449cffed70be9b50e6f5c5b1442ae76622161dd522f2415742f00291d7

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

Size: 367,604 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: aef9e37216d21d4cbd1e97119597a01a79fcd7e6
Size: 6,584,800 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 2c189d04114972ecace5353779cc7d4624b9328e
Size: 156,933,492 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: 9551e645ff401f7055b06038a8e008d2a43ad459
Size: 3,835,420 bytes

Submissions

b4opn7as
Submitted
Tue, 30 Jun 2020 23:12:41 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"