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
Wed, 11 Mar 2020 05:56:35 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Wed, 11 Mar 2020 06:07:41 +0000
SHA1 of .buildinfo
980425af3cb62c00f9f418a45873f79ea6b1581b

Binaries

libz3-4 (libz3-4_4.8.7-4_amd64.deb)
SHA1: c2a9150e6ffd158ec572dcb4d20625b6ef3f49c3
SHA256: 88d738d6ffd44063b5029e43b02d4c800d9faabc3a47ea4bb7202523ee212489

Size: 6,791,492 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: 9f34a83a6d38fb3d72fd3069ccf54c28d29dfb5d
SHA256: 2bb2e74d9438153274f3f147371882bfc06dcbf0052540e2ef7989c9981e44bc

Size: 32,644 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: eecbc5027ee290a3be5eebc51ec259003cc83584
SHA256: a31ac2b52ad1c9e16b3ea89c8b202ce89ad10a62ff017262fb39d1cf6090b0b5

Size: 6,798,988 bytes

Other checksums

z3-dbgsym_4.8.7-4_amd64.deb
SHA1: c3a8c0a5a5f9536b461e62b4f28e72a56870714c
Size: 117,902,416 bytes
libz3-jni-dbgsym_4.8.7-4_amd64.deb
SHA1: a5464654acaf5c85fcd2243ba236dda85652df85
Size: 179,000 bytes
libz3-4-dbgsym_4.8.7-4_amd64.deb
SHA1: 03c3f193c8b219569463b282b7c09d360966c5f7
Size: 116,557,124 bytes

Submissions

ujfufsio
Submitted
Wed, 11 Mar 2020 06:07:41 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578952552"