Source
z3
Version
4.8.7-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 31 Mar 2020 14:22:25 +0000
Build-Path
/build/2/z3-4.8.7/2nd

First submitted
Tue, 31 Mar 2020 14:23:25 +0000
SHA1 of .buildinfo
a9f6fcf7aed4b50ac77e39e0daaf8b2691336a2a

Binaries

libz3-4 (libz3-4_4.8.7-4_arm64.deb)
SHA1: 1ccfedbe41687ad361bf5a3cb94cae0cc9e25ef7
SHA256: 032c53b46645837fb1739ea5bd969ce80a2c04423adc982b4f05e7b875071e52

Size: 5,889,584 bytes
libz3-dev (libz3-dev_4.8.7-4_arm64.deb)
SHA1: 6398e91bc23f4625ce7567d44eb33e57f577df29
SHA256: 54d5bb33a4da6b3a690befe689c54734313fe4c158040e1363faf90fb3b99d79

Size: 87,308 bytes
libz3-java (libz3-java_4.8.7-4_arm64.deb)
SHA1: b57eedec91897c9d8f6ef29920460b7ef91b7ad8
SHA256: b6159b2de2e16832f136cc2564e440c96c535997704a7bfbb01db3e48091257d

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_arm64.deb)
SHA1: 1a06be5fa96dc572b2cd4bd4e13b93148a077f59
SHA256: 6d98a6567891622318801661e6acec37359680145fd0f485e17e6f8275d2b359

Size: 31,084 bytes
python3-z3 (python3-z3_4.8.7-4_arm64.deb)
SHA1: 28f1456b761f2a9aa62bd0be27bddd714bd6405b
SHA256: 426b5b63b2feb96fdb4991ae7bb2a9e6f6fe5fc63ea085d5fc1c849d161a7c11

Size: 76,520 bytes
z3 (z3_4.8.7-4_arm64.deb)
SHA1: 67b69cdb2250047c8af3a62e63ad9cab90c056da
SHA256: 256cd4c4bdb20f43f17d09a358f3737f5f4d5a92560281c9c7f066f701a88e75

Size: 5,891,240 bytes

Other checksums

z3-dbgsym_4.8.7-4_arm64.deb
SHA1: c7fd57c021471e681777c330a54a05bee1f8ab42
Size: 114,800,052 bytes
libz3-jni-dbgsym_4.8.7-4_arm64.deb
SHA1: c38a2b57151e8bf62de6e54229215bcbe7c6f157
Size: 177,600 bytes
libz3-4-dbgsym_4.8.7-4_arm64.deb
SHA1: e4f7d85eb09e62205aacc55885ad15c61751768d
Size: 113,465,084 bytes

Submissions

Submitted
Tue, 31 Mar 2020 14:23:25 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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