Source
z3
Version
4.8.7-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 15 May 2021 02:49:04 +0000
Build-Path
/build/z3-4.8.7

First submitted
Sat, 11 Apr 2020 20:59:31 +0000
SHA1 of .buildinfo
ee02059a152a2e4105c9a91a247b759f07234849

Binaries

libz3-4 (libz3-4_4.8.7-4_arm64.deb)
SHA1: 40bf3757cefc1b30416c12670710dd63af6b434d
SHA256: 48a8a13bebb4cbe7e41c5b97687096c8fdd7e17f199b67e8b9bf08dc7ccd7199

Size: 5,889,624 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: 91dfdb9e796cc10d2080743515872fccbb305326
SHA256: 371ddf5f8e49548bacefb2a5264c0de0780d503e2036a025c6dde6ee8eb60199

Size: 30,680 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: f7cfc73935bfea80b2d2935b02cb38adba643dce
SHA256: 76fcc9bf82c767a708d2d0a765a4d1eca2d01d8d92c5cf5186ec6734e960eab5

Size: 5,890,924 bytes

Other checksums

z3-dbgsym_4.8.7-4_arm64.deb
SHA1: db133114392c170a6cb114620781854c634e591d
Size: 114,804,856 bytes
libz3-jni-dbgsym_4.8.7-4_arm64.deb
SHA1: 4c421b21550b90e18a3c4154d98f92c5af3f2591
Size: 177,564 bytes
libz3-4-dbgsym_4.8.7-4_arm64.deb
SHA1: a5318924392fd7fe0191c47a90e66e6d41704a14
Size: 113,463,576 bytes

Submissions

Submitted
Sat, 11 Apr 2020 20:59:32 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"