Source
z3
Version
4.8.6-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 19 Oct 2019 17:34:22 +0000
Build-Path
/build/2/z3-4.8.6/2nd

First submitted
Sat, 19 Oct 2019 18:13:11 +0000
SHA1 of .buildinfo
b9fd1e704774ce17f2e5bcc2d7cf5474ae426388

Binaries

libz3-4 (libz3-4_4.8.6-2_arm64.deb)
SHA1: c4230105e4bdfcb499b8bc482b7219d08f131c9a
SHA256: efaceac8edb03b968d2fafc3ed7c4ed6b9e8cb6c1ab866e083caca646f4f994d

Size: 5,962,336 bytes
libz3-dev (libz3-dev_4.8.6-2_arm64.deb)
SHA1: 4b60919de80644c57c293a15601f7d4d31841a93
SHA256: 3deeaf0c9322b1ac9825db9f9cb54db84eb9b6136c5ecfdc990e07fde0003003

Size: 85,792 bytes
libz3-java (libz3-java_4.8.6-2_arm64.deb)
SHA1: cb5b4aad2fd4b250218e808bf827050f7fedeabd
SHA256: 970a53969e2bda863fc4a85d552e611cede75cd4c22b9dccc87fa20bdbac9d91

Size: 153,580 bytes
libz3-jni (libz3-jni_4.8.6-2_arm64.deb)
SHA1: f113dc4f59f11927902437b688f54cf453505688
SHA256: 2cd96ec504ad911c749eec36a63bb5e7a04ea88310071343f4577352a2e3b868

Size: 30,724 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-2_arm64.deb)
SHA1: e1a74294384640b829d6606eda97e38f8d0127f2
SHA256: 70f371db77d1df934f8cf653e97bd70b20f2e31728945684fa22c3fa534a4bb1

Size: 483,956 bytes
python3-z3 (python3-z3_4.8.6-2_arm64.deb)
SHA1: 418fef70362ae1f63e06678602e2d50354160d23
SHA256: f5d280d5ffd57f936caa502707bacc8eb6144c1c208b63ed0386ae43742298ee

Size: 76,360 bytes
z3 (z3_4.8.6-2_arm64.deb)
SHA1: 876f05b8de9fa5e91b5c51a22ed6f0a4324dcf74
SHA256: 0d4de1ff10c7061c8354292e2aaade8efb2bae543e2d74fdcb4679440171d19c

Size: 6,078,332 bytes

Other checksums

z3-dbgsym_4.8.6-2_arm64.deb
SHA1: b57843efd13c1d150441d02392c5d756dea378b5
Size: 106,792,804 bytes
libz3-ocaml-dev-dbgsym_4.8.6-2_arm64.deb
SHA1: 2772ef70fe47137816d965031079286adce2b1fb
Size: 365,740 bytes
libz3-jni-dbgsym_4.8.6-2_arm64.deb
SHA1: 19fbb015f6b97df81e5d2702116587b65c526689
Size: 177,484 bytes
libz3-4-dbgsym_4.8.6-2_arm64.deb
SHA1: 17188a7e694400150017940a71c4506bf1c93a27
Size: 103,809,604 bytes

Submissions

Submitted
Sat, 19 Oct 2019 18:13:12 +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="1571092162"