cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 31 Jul 2021 07:22:21 +0000
Build-Path
/build/1st/cvc4-1.6

First submitted
Sun, 28 Jun 2020 03:54:24 +0000
SHA1 of .buildinfo
c9f7da7cc176b8062fc410c9e66c39021462d077

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 0f5f0ebe45a6aacc63a3ef703b7f4a5255beba4b
SHA256: 8db9ecd26d8550a1aa7ec7acfe8f90f997d99d5fd2f558cf07162b6e6a273bc0

Size: 140,808 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: cb6c8fb32c17cca79a089ac6123787fadb24139f
SHA256: ba992aad1de0ae0ba5af511f5dfe10ce8f44f4f98f30d42b50a8769fec2035d2

Size: 4,511,432 bytes
libcvc4-5-dbgsym (libcvc4-5-dbgsym_1.6-2_amd64.deb)
SHA1: 2c189d04114972ecace5353779cc7d4624b9328e
SHA256: 5f94d746c4adfe7b684305efa6bdb08a3b87683bfa423faf8060263e638bea1d

Size: 156,933,492 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
libcvc4parser5-dbgsym (libcvc4parser5-dbgsym_1.6-2_amd64.deb)
SHA1: aef9e37216d21d4cbd1e97119597a01a79fcd7e6
SHA256: a07b7a20da75ddd7a852aa072ba0578fd72b0dff10777caba8499ed47f0a9bf0

Size: 6,584,800 bytes

Other checksums

Submissions

tdb9tmhq
Submitted
Sun, 28 Jun 2020 03:54:25 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1534078846"