Source
z3
Version
4.8.8-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 1 Sep 2021 14:05:06 +0000
Build-Path
/build/1st/z3-4.8.8

First submitted
Thu, 30 Jul 2020 08:32:24 +0000
SHA1 of .buildinfo
17c9c80ba276d16739a96d82a26ae49e06ef44e5

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: 6f3a7bd338c3596ca71995db1234f81f6274d505
SHA256: 3071c290fd260f58450424bf6150769ad17dd24bda951b2b2bc9196e12b8e92a

Size: 30,732 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.8-1_arm64.deb)
SHA1: 9d353b778aacec27c4e4adbe0e9b941b5d1f3f3f
SHA256: 3a3e7731600c61e2e9c37da4d88f5e02872260e7cf56bc5eadd35623e8b533e8

Size: 177,000 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:24 +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="1591453977"