cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 4 Sep 2021 12:26:28 +0000
Build-Path
/build/2/cvc4-1.6/2nd

First submitted
Sun, 2 Aug 2020 08:03:41 +0000
SHA1 of .buildinfo
4547b9dff6a5ed0f5369d25bbf1f099c5c4e2877

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: 0605099a1233b7010443aae892017618cb027d78
SHA256: 4e0ce059512f6784ce174736932b2f920e0793a5489eccc772416f1d721b916b

Size: 143,792 bytes
cvc4-dbgsym (cvc4-dbgsym_1.6-2_i386.deb)
SHA1: dbaeca2e803748b7fd9f29b75a2e05db986251b8
SHA256: 3b620ff61a4272fb1499bc33682d3a544a7d6738f5c78872f62d59b3fe22f4ac

Size: 3,696,332 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 3190b7b713f70c3bda020bc822fc9b6d469bb09f
SHA256: a019d75d3d3c719ce9083bc03c20faf0bee35e379949b2f4d2cd3e300ffacaa2

Size: 4,897,108 bytes
libcvc4-5-dbgsym (libcvc4-5-dbgsym_1.6-2_i386.deb)
SHA1: 498a2fe0e7ef33a59bff0e94cdf9e02730aa9448
SHA256: 0618f36ad8bddffbc0c4c41155b9bec955525f678263bea47de5740fb8967f22

Size: 158,242,636 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: 6666b6e478520dcab99a30084fcc5f60a2d45916
SHA256: 9527de7edbca62d6bb04fcb9030804dbb2797be6f54325f8caf43b92d143be2b

Size: 7,559,120 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: 41b51b7250a708aca7cc6d15697309e8519dc6f6
SHA256: 3b879b0dfd4374f48127d1912b52f19b8f50dd34f03dd173ae48d3339d33493e

Size: 399,444 bytes
libcvc4parser5-dbgsym (libcvc4parser5-dbgsym_1.6-2_i386.deb)
SHA1: 6070de863a25864b1a9a921366504f8f8aca0d9d
SHA256: 9414e2be87a13299e4afb7bd00f67663177bdfe281e383eb424dd927efb097b5

Size: 6,424,068 bytes

Other checksums

Submissions

akdh4tsu
Submitted
Sun, 2 Aug 2020 08:03:41 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1534078846"