z3_4.8.7-4_amd64.buildinfo (view)

Source
z3
Version
4.8.7-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 23 Mar 2021 00:37:09 +0000
Build-Path
/build/z3-4.8.7

First submitted
Tue, 18 Feb 2020 18:31:53 +0000
SHA1 of .buildinfo
3c974e9fdc967ef5b7f926fd03da607e593cd11b

Binaries

libz3-4 (libz3-4_4.8.7-4_amd64.deb)
SHA1: b37ae2c39faae8b4300c22440d10f27d697f988f
SHA256: dcfcc5120691ec7e1afdfc9ddf2319531fd11a7cec3cd98f9c83cd334934f09d

Size: 6,791,332 bytes
libz3-dev (libz3-dev_4.8.7-4_amd64.deb)
SHA1: 651416727dcfe43e67854f2bf9304278415b0428
SHA256: 378ff72b7f1b318c52ff387c83f6b6393145394b5a0996f0fcf3608b24ab7ae0

Size: 87,312 bytes
libz3-java (libz3-java_4.8.7-4_amd64.deb)
SHA1: f4bbcfb5046bda09ca5867b31739c0513d4e1506
SHA256: 7c36fda5816f4334e0a033656039371c57d6f18cc6cb4838a09ef8f113545876

Size: 153,724 bytes
libz3-jni (libz3-jni_4.8.7-4_amd64.deb)
SHA1: 894472d8d3df42b99d3324d22fc3eba666de1259
SHA256: b24b0a10562ad2f268e1e8f0d9c396e1d3d53e65082cfba55825e5e4721f966a

Size: 32,504 bytes
python3-z3 (python3-z3_4.8.7-4_amd64.deb)
SHA1: f5af2628bdb898e195b114c3b1dd421fb0f78158
SHA256: 255f728fc3c3480e8009f5b9a99ba740d2b4ffb845372638652ad6af2465fb8c

Size: 76,520 bytes
z3 (z3_4.8.7-4_amd64.deb)
SHA1: 12c8a89d56314639bc2898197e5c6ab7e2646d27
SHA256: 7c3cf9040dc1df78c41201e306f6f9bdccab019c9a616b7290614993f2a29e52

Size: 6,799,372 bytes

Other checksums

z3-dbgsym_4.8.7-4_amd64.deb
SHA1: bbb596db879111e8ab627b0fcccec24b564c2ea3
Size: 117,899,148 bytes
libz3-jni-dbgsym_4.8.7-4_amd64.deb
SHA1: 51262fb671ac530b9116fdb6963361003536bc8f
Size: 178,896 bytes
libz3-4-dbgsym_4.8.7-4_amd64.deb
SHA1: 8f670b0d2f20fa246ec1b03b64b7112a2802bc05
Size: 116,556,252 bytes

Submissions

7akewkju
Submitted
Tue, 18 Feb 2020 18:31:53 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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="1578952552"