Source
z3
Version
4.8.12-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 11 Sep 2021 17:20:31 +0000
Build-Path
/build/z3-Bp9670/z3-4.8.12

First submitted
Sat, 11 Sep 2021 18:15:07 +0000
SHA1 of .buildinfo
96b7a5df84bb6dee061032264f3673a30030dc13

Binaries

libz3-4 (libz3-4_4.8.12-1_amd64.deb)
SHA1: e8f743da7e92e29a38e706de128c1a78b3ce4d3d
SHA256: 042acae501a9a643e0566deb884c55b4c8e08227323f5cd5f31908740c78310a

Size: 6,996,716 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_amd64.deb)
SHA1: de2b9e93ca3a11f0bd4b5262b4d6e96ad15206dc
SHA256: 9cd82931cf782b1bf37feac8d0f2e359e3368937db30c26b786de01f8ab83895

Size: 142,807,692 bytes
libz3-dev (libz3-dev_4.8.12-1_amd64.deb)
SHA1: 4a9e6b9d22b7df2ec1a3494226f4b1f193ff43be
SHA256: 485ccb95d3e72f0177e37296809a84046f100a769d528e7787d1edf139b3746c

Size: 91,860 bytes
libz3-java (libz3-java_4.8.12-1_amd64.deb)
SHA1: 7f3e805c540dfdfa7802c9f9b704cdf12d8337a8
SHA256: 0d34a1c8e243abfb4eeafa76e958a22e49facbb0f5edca12ac7273b99f95b4d5

Size: 159,952 bytes
libz3-jni (libz3-jni_4.8.12-1_amd64.deb)
SHA1: 52aee294a89402277d800d43b904f8947365bddd
SHA256: 55dc90958852ecd20e0a44bdd526e1b5e7358cb8156c62b564295603290011e3

Size: 32,692 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_amd64.deb)
SHA1: a43db94130414fc65525eb3005224f6651527b67
SHA256: 8256209bf45d41803cca8bda85ef19ea05e2653420c3017148c801e3c9cfeda0

Size: 179,740 bytes
python3-z3 (python3-z3_4.8.12-1_amd64.deb)
SHA1: 543c575e97e0a60133674cc2b1c5e0d2b04aab81
SHA256: fcdf515ed83b0807fd3c5abb82137c636aaa28bee51107b307488bf388e091e6

Size: 78,336 bytes
z3 (z3_4.8.12-1_amd64.deb)
SHA1: d7d532fd6f78d8fcc56d413840f2f1a9708f66c9
SHA256: 051584574a8e261da768d28f568c0d02af19b858a1bdf54290e56583861c01de

Size: 7,011,912 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_amd64.deb)
SHA1: 166705703cc577db1910d0c90e7e46d57344fcb6
SHA256: 2b570c17092a2e1f8be6703259395fef0511211e237a49916c7c94077adad988

Size: 144,531,280 bytes

Other checksums

Submissions

Submitted
Sat, 11 Sep 2021 18:15:08 +0000
Signed by
0xB7F6F7EBFB3491B1

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1631375903"