Source
z3
Version
4.8.7-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 3 May 2021 20:11:28 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Tue, 31 Mar 2020 14:23:24 +0000
SHA1 of .buildinfo
534883ca0faba3a2535c7744a98ea369d3b3ab3e

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: 76ce6b10481cf6e178270fbb1746db2910bb991f
SHA256: 7de7730b05e34cf9291208c6a1999df6cf11518be0b5d479fb655c83979ebad6

Size: 30,696 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: 5f1adafb15c252b2816abd27bb6e6cab07fd1c85
Size: 177,568 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:24 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"