Source
z3
Version
4.8.4-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 4 Sep 2019 11:46:18 +0000
Build-Path
/build/z3-EXId1o/z3-4.8.4

First submitted
Wed, 4 Sep 2019 12:16:09 +0000
SHA1 of .buildinfo
bd6072cde1c22098ca2f6e1e37a254861465e33b

Binaries

libz3-4 (libz3-4_4.8.4-1_arm64.deb)
SHA1: 4bcb69e57a5b9050c0396ccdcd666c97fe042581
SHA256: 63b54632172b1983ff3f0333b40ee557f71b258df6febc592a6d80d56ad3304c

Size: 5,744,480 bytes
libz3-cil (libz3-cil_4.8.4-1_arm64.deb)
SHA1: 21c5b0ee1d6c2af4351cce1876de5db6889f04f1
SHA256: 7d41f09c6baadd0233fbb0607c3a291bb4bb712c37f7b2452687c15be02dfc63

Size: 44,668 bytes
libz3-dev (libz3-dev_4.8.4-1_arm64.deb)
SHA1: fc060c48ed9e224ad5c8d9efc89b847d32c7ecc9
SHA256: 1d47cbd3d74298a6aab637b6047dec1187d1935cc360f825cdeb7d8f5bd70939

Size: 83,484 bytes
libz3-java (libz3-java_4.8.4-1_arm64.deb)
SHA1: facd281023e45dccb6e2784476ebdb4b8caec1fe
SHA256: ad9d1977433aaee51a4047a26fbf3d2c0d2a27c87a54ed2733959a78f9b0614e

Size: 152,252 bytes
libz3-jni (libz3-jni_4.8.4-1_arm64.deb)
SHA1: f01e0d0234aa59646515ff4698ecc13ac4adf8ac
SHA256: 90491b9e60bcdb8bd75ad0ef55d6bec26cf67b087c26b31b1c35c7995bef79dd

Size: 30,260 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.4-1_arm64.deb)
SHA1: 946ff1bea73bb8618b114a40097576694ea4b34f
SHA256: d3f65c8bcb235334f1e42214eb444746dff93b577fbb0e7bdb16396c789b6f5e

Size: 474,816 bytes
python-z3 (python-z3_4.8.4-1_arm64.deb)
SHA1: cdd42a95700edc8c2718d0aaea2e6728269098a5
SHA256: 5e3c25466d00d3ddc0958eef104187c7b1c4d6fb892888115c96ee3298216c9e

Size: 1,344 bytes
z3 (z3_4.8.4-1_arm64.deb)
SHA1: ae992a51a39a1e7c0e520d08e515bbfb8d3bf83d
SHA256: 59a24c9986e96b832eb6fce9961087c87076983e7552e2a60f6bc925b1f44ec6

Size: 5,857,360 bytes

Other checksums

z3-dbgsym_4.8.4-1_arm64.deb
SHA1: 5406319b18c3ec483e8981c9b9688383f730d2ef
Size: 103,778,540 bytes
libz3-ocaml-dev-dbgsym_4.8.4-1_arm64.deb
SHA1: 30d9ffac9ebcf42804da8ac149d63072426c7ac7
Size: 357,368 bytes
libz3-jni-dbgsym_4.8.4-1_arm64.deb
SHA1: 917c0b99afb7937a585fd8d718c8b34554657767
Size: 173,844 bytes
libz3-4-dbgsym_4.8.4-1_arm64.deb
SHA1: 6d7c7485960428656a7f7f93e05b10b8a842d13d
Size: 100,876,860 bytes

Submissions

Submitted
Wed, 4 Sep 2019 12:16:09 +0000
Signed by
0x8B2E5DF2A73F28C7

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1566909011"