cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 20 May 2020 21:51:00 +0000
Build-Path
/build/cvc4-1.6/2nd

First submitted
Thu, 18 Apr 2019 17:28:48 +0000
SHA1 of .buildinfo
3cd7245e48a608d110005961c082818baa4955fd

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: 595497c0cd11a84e5b2c33ff363c91e9db8675b9
SHA256: db5c98ea6c85ecf5a657ade46c1b3eb4dcb172b1e66f7483dbdd15f86ca154bd

Size: 142,432 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 16b41232bd4deaf1a5d70695d65b6df3748b8a11
SHA256: e3184ed2b2ca41255c72a9c04c87eb236d731dfd6050d833db076ccfa8ed9af0

Size: 4,644,848 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: 048bf5f13b78b910d05618db13afedc26a2a4b90
SHA256: ffc7cd9ff1af851b50f12521249d2b5460ee01b49264150fc4af2445fa21be98

Size: 7,342,408 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: 8be8a72c97530def679f01b1e327c32058c2534a
SHA256: e31028fd721d9b7a8ec973a9662512424897409a6c6920b708d34bdac6bf2a4d

Size: 390,472 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: 0d4096d953a7d0c286ef272acc43eab041905d92
Size: 6,017,324 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: 5feed2217746cb7b7dedb7ec1039d3fca1b39d4b
Size: 148,962,024 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 8de2aa87ca882f721963ceef014d232c4d736eae
Size: 3,521,808 bytes

Submissions

iwz9r9j3
Submitted
Thu, 18 Apr 2019 17:28:48 +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"