cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 30 May 2020 16:28:10 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 30 May 2020 19:07:51 +0000
SHA1 of .buildinfo
2091c17bbebc6852e4300747f7dff9ab8514046d

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: 91bd3bcc7013b2454b26d5b1fe5283ce234a4a5e
SHA256: 627fda100018c9858375bec66730df9f27f70dd068f1b3fdb430da2d3249ea1f

Size: 141,916 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 2023b1e2d91ad78e245e978867ca3b9fde0fcd59
SHA256: 418f1e2450186c9d7f7d745bae18051d0738a31841b9ac27ac2d1990884ba371

Size: 4,845,320 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: f1d9eda55a26c4590cf77b79a713350e77d87861
SHA256: 4e7380c4a88c5e587f88fc3e1bd291e703c4307703643f3c9106c429dfbba291

Size: 7,669,772 bytes
libcvc4parser5 (libcvc4parser5_1.6-2_i386.deb)
SHA1: daa22582c1955edd9367b34ec5a1f3fe894de712
SHA256: c26fb9d13b724452ba35dc5a8e3652134f48c74bc85aa8c3c8bd7dfc6efd08e0

Size: 390,148 bytes

Other checksums

libcvc4parser5-dbgsym_1.6-2_i386.deb
SHA1: 8794d8bc5f6926f11452653304f870c31e2f1c7e
Size: 6,329,208 bytes
libcvc4-5-dbgsym_1.6-2_i386.deb
SHA1: 4d94f924ad41233c4de740f95cc1aadf21f6ac95
Size: 157,736,352 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 0589c4d95350512a9bb0187a708262e8b6eb1def
Size: 3,636,392 bytes

Submissions

caywqvxa
Submitted
Sat, 30 May 2020 19:07:51 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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