Source
z3
Version
4.8.7-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 26 Mar 2020 13:49:13 +0000
Build-Path
/build/z3-4.8.7

First submitted
Thu, 26 Mar 2020 13:55:53 +0000
SHA1 of .buildinfo
4c887a947df953d4de4c4d168d6cda1df47d2f5b

Binaries

libz3-4 (libz3-4_4.8.7-4_armhf.deb)
SHA1: bde09c028153bfcefa6488c6ba6552c748bfe89d
SHA256: 86b2fa44d192e579fc54f3c2eae4001b03b161b0a654e55d40dd77229d41c2f3

Size: 5,810,440 bytes
libz3-dev (libz3-dev_4.8.7-4_armhf.deb)
SHA1: c7f1baad1d827604f6b58407d3c10aa1497a6b55
SHA256: 2f8986e155430017258f938bc64a14d680279d140e24b74dde0b4914e41094a0

Size: 87,316 bytes
libz3-java (libz3-java_4.8.7-4_armhf.deb)
SHA1: 4e35dfd7cb4b67e6e66d45d56508e1866e076bff
SHA256: 56f5b499bd3090820c560c92ea4f58bd9d46c415f99c28c25c88792392f725cb

Size: 153,724 bytes
libz3-jni (libz3-jni_4.8.7-4_armhf.deb)
SHA1: afc037ef22fe7c241fed3d3b0729551246ec6689
SHA256: 1e4788ff2f6b885c701935603143cbb157f851d94c449ed4baf52aaa8fc3e489

Size: 30,044 bytes
python3-z3 (python3-z3_4.8.7-4_armhf.deb)
SHA1: f230dafbb74484c53cffad8e9731c84965a46590
SHA256: deb2d89cbe768e729afe5ac141fb8729e3d43fd400e3c6b44fb8708065d35eba

Size: 76,520 bytes
z3 (z3_4.8.7-4_armhf.deb)
SHA1: 8628c9bb8f9908c6c6b69d0ac42e08c09ece635f
SHA256: 942259ca4cdfe5d1c633342ab18351d5323d48f90592f3371e46abfbd4f34527

Size: 5,815,284 bytes

Other checksums

z3-dbgsym_4.8.7-4_armhf.deb
SHA1: 5d56b259adf91b8ed81d092b1e799c9002c4e014
Size: 108,087,028 bytes
libz3-jni-dbgsym_4.8.7-4_armhf.deb
SHA1: 038c076e2aac6192887f74cb157e6acb0883b041
Size: 185,928 bytes
libz3-4-dbgsym_4.8.7-4_armhf.deb
SHA1: 29ab95cc6278b03df36fc57d31fc5dfa770dc3fc
Size: 106,792,592 bytes

Submissions

Submitted
Thu, 26 Mar 2020 13:55:53 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


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