cvc4_1.6-2_amd64.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 6 Jun 2021 08:18:25 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Mon, 4 May 2020 03:55:37 +0000
SHA1 of .buildinfo
ab2908ea34bec08e88789f6992ebe088d78c8f4a

Binaries

cvc4 (cvc4_1.6-2_amd64.deb)
SHA1: 2f2061267f18b4548d82b15228fddda1c7af1bb0
SHA256: 0b2c62b222908066f971dc27b2e71c8f8964602886a7a4f29111f0f4f6d59759

Size: 139,604 bytes
libcvc4-5 (libcvc4-5_1.6-2_amd64.deb)
SHA1: 64d7d212432d52a03c7ee0bed92683baf00e6edd
SHA256: 53253d65b9bd7e1f6220ff78c8733da6d137543d15600e4e1e68d98650d5bef2

Size: 4,509,600 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: cf514a5aaff2cf165eaf649d4761f16624538ce9
SHA256: daddab46101dc0976ffe2e4da3f2ed8675454115a5afae87c112fa7cdeede529

Size: 367,472 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_amd64.deb
SHA1: a6b8d836789572c3d0ed5baed52c6c532a1c3e0d
Size: 6,585,040 bytes
libcvc4-5-dbgsym_1.6-2_amd64.deb
SHA1: 962fa59555d4a200c811a965ddc8acbd829efde6
Size: 156,933,172 bytes
cvc4-dbgsym_1.6-2_amd64.deb
SHA1: f96f4dca28f3f3f0888cc61f8750ec0a81ede8a1
Size: 3,718,372 bytes

Submissions

vxapvdba
Submitted
Mon, 4 May 2020 03:55:37 +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"