Source
z3
Version
4.8.8-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 30 Jul 2020 08:31:25 +0000
Build-Path
/build/2/z3-4.8.8/2nd

First submitted
Thu, 30 Jul 2020 08:32:25 +0000
SHA1 of .buildinfo
4719e220af698e7fd8cc5c6a2d4f9ae5af218245

Binaries

libz3-4 (libz3-4_4.8.8-1_arm64.deb)
SHA1: b6fbade83ce1d35542a95dac451e2e24d3d18a77
SHA256: 837fb71686caa755a650f258877e864f02f39dd31fa518dbeca96e4b93d62312

Size: 5,831,868 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.8-1_arm64.deb)
SHA1: 32b5ade921ec1ae31e18f5f3a921e221db948a3e
SHA256: c0ecf6f4ecace915a2ff0dd40310d18d7dd386972d5d302829abc6ebbbce6802

Size: 118,714,104 bytes
libz3-dev (libz3-dev_4.8.8-1_arm64.deb)
SHA1: 2862ff8d8176742cecdb19a2b352addac4b0d031
SHA256: c825014b15e2769e0b7d555718bc137bda6f34e8a71a97c615b9f6247108c3b4

Size: 88,272 bytes
libz3-java (libz3-java_4.8.8-1_arm64.deb)
SHA1: 1c2a150eec450220c71162e148ab280da58f2b75
SHA256: 320deebf310f040a7933dc206720b12b4d1a5262cc5875e2b1953ca5da051cd8

Size: 154,216 bytes
libz3-jni (libz3-jni_4.8.8-1_arm64.deb)
SHA1: 6346a3bcec1a531724b61f1918e8fcb929fdabef
SHA256: 7f20c015a0bc7e53742e1df20717166dc9fdfad5c078eef8dba217a04fa36d6f

Size: 31,348 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.8-1_arm64.deb)
SHA1: ff7e2f88e2e8d63eacf809ab6baf3967c3eef944
SHA256: 095bc7cb632b4cd1ec3c29127b999ae7b62dfbaad8066968e7b5df3614831905

Size: 176,996 bytes
python3-z3 (python3-z3_4.8.8-1_arm64.deb)
SHA1: 14c2c39793755f40d6d91ae57a249063395eba04
SHA256: a17f4980e5d030302aeee96527801f46b3bc5a2e1312d5705b9b65c139fdac83

Size: 76,708 bytes
z3 (z3_4.8.8-1_arm64.deb)
SHA1: 986909d3879002806abd3189a5e56160305defae
SHA256: dbef893645853385524a972e74ff0c91fcd1fcda028877f981a883ff739e1a19

Size: 5,830,996 bytes
z3-dbgsym (z3-dbgsym_4.8.8-1_arm64.deb)
SHA1: a7436797e94bf6fc599b89878440eaceddc4e263
SHA256: e06b2625365f99e1ffaf2b7a09d8d4a2417c5a596aa78f0a68d696ed06a6f614

Size: 119,999,888 bytes

Other checksums

Submissions

Submitted
Thu, 30 Jul 2020 08:32:25 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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="1591453977"