cvc4_1.6-2_i386.buildinfo (view)

Source
cvc4
Version
1.6-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 2 Jul 2021 23:07:20 +0000
Build-Path
/build/cvc4-1.6

First submitted
Sat, 30 May 2020 19:07:52 +0000
SHA1 of .buildinfo
8ba159c3b5adf8c30319a284f7490349b702fee8

Binaries

cvc4 (cvc4_1.6-2_i386.deb)
SHA1: 6184039846c6efcb1dd0507d33d46c4fc7a2f14d
SHA256: d47648f5b53dc84654f8bfd56fe8002531f27632d6eee250f0ec59b52a95940e

Size: 141,936 bytes
libcvc4-5 (libcvc4-5_1.6-2_i386.deb)
SHA1: 9adbc9d2b12a5735d7a99e7867f03d862204ed3c
SHA256: 0183690d068d27acb2f96b47dd2dd1c49ac651ca82c24c8845479a11a3a12407

Size: 4,845,340 bytes
libcvc4-dev (libcvc4-dev_1.6-2_i386.deb)
SHA1: b34f602dd8e0815ab6338f8af6a25646627ab641
SHA256: 7e60d4fe566ec1f2d547631f5da45a6c32bec93cce93acdc4044f9f721f80feb

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: a56747b0677e62fee4af4228598fd08a64096969
Size: 157,735,460 bytes
cvc4-dbgsym_1.6-2_i386.deb
SHA1: 0589c4d95350512a9bb0187a708262e8b6eb1def
Size: 3,636,392 bytes

Submissions

99vu9xbb
Submitted
Sat, 30 May 2020 19:07:52 +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"