Source
z3
Version
4.8.7-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 18 Jun 2021 14:42:12 +0000
Build-Path
/build/z3-4.8.7

First submitted
Sat, 16 May 2020 09:19:35 +0000
SHA1 of .buildinfo
f0bfd5c252538d91239ef6500ae037e4771f0aea

Binaries

libz3-4 (libz3-4_4.8.7-4_arm64.deb)
SHA1: 1788ce64dc2a72d16f413117b08eac814b226821
SHA256: af4896f013f861fd4817a35d4cea574a8ae34a520a48874129b9e47859712428

Size: 5,890,204 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: ebbd43cef990c2fbb25563df1220d9977f7c4072
SHA256: 3761434d00e553365a9f5a5ba28e029537a239ce400ca937dcfc76a35ee74597

Size: 30,732 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: a68aa93f3c4ee17b725f73a4b0d3c871f9245051
SHA256: c1b5143144a4ebf49242e9ca098f59c0c840ef563d49204f3f17ca30c194c0f8

Size: 5,890,788 bytes

Other checksums

z3-dbgsym_4.8.7-4_arm64.deb
SHA1: 4584a6c9ec35573631b949872e93122bed38807e
Size: 114,808,852 bytes
libz3-jni-dbgsym_4.8.7-4_arm64.deb
SHA1: 916fa5df1bc6fa3a8a32c99fd3b4e00ed17be9e0
Size: 177,568 bytes
libz3-4-dbgsym_4.8.7-4_arm64.deb
SHA1: 0d39689c416baca8803a2e726de67427716f427a
Size: 113,459,340 bytes

Submissions

Submitted
Sat, 16 May 2020 09:19:36 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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"