Source
z3
Version
4.8.4-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 4 Sep 2019 14:23:58 +0000
Build-Path
/build/z3-K8Tpz7/z3-4.8.4

First submitted
Wed, 4 Sep 2019 18:54:10 +0000
SHA1 of .buildinfo
037fabae3c4493b92e60837607ff67e39ac1a27c

Binaries

libz3-4 (libz3-4_4.8.4-1_armhf.deb)
SHA1: 745590cb0af069f2a2a281ad83776102639f1585
SHA256: 62cdaaf52c48da3eb4af6e8743f417782c74d14c575f5287cb0f6b98fe7473f0

Size: 5,627,404 bytes
libz3-cil (libz3-cil_4.8.4-1_armhf.deb)
SHA1: d598d8bad7fd581901390d90f3e73c6a120c0747
SHA256: 96f832f278ab85c5fe220c850b1f179ec28678a09c540f70a8efebaa93cee720

Size: 44,668 bytes
libz3-dev (libz3-dev_4.8.4-1_armhf.deb)
SHA1: f04cde1c028d09449f07c11038d3fa35e1deb936
SHA256: 75400d0907e3f13ef0c65c8c3ef8f1860bce223baf0362451c34da4c8466680d

Size: 83,484 bytes
libz3-java (libz3-java_4.8.4-1_armhf.deb)
SHA1: eb2d4935847238a2ec2b5aba5242cc7584697bbb
SHA256: f5dd3e850c791456f472138755b1c9e4b5286b58249a13d9265feffab12536ec

Size: 152,248 bytes
libz3-jni (libz3-jni_4.8.4-1_armhf.deb)
SHA1: 35fefc0b5e0bc100a298ed7d50c63b426ee1d919
SHA256: 47d8aad34f7fad5cb9f415ecfaca82abbab0572936a490343688267663aab7dd

Size: 29,528 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.4-1_armhf.deb)
SHA1: 6ad2b4d430017f7b4ebc8acb86bef40fd1732f27
SHA256: 4ea72b1c4bbcdeecff91aef58c6cbd3c776e623cb4207c2d9d3eaa327f644060

Size: 466,428 bytes
python-z3 (python-z3_4.8.4-1_armhf.deb)
SHA1: 6dadf95372117906a093255be76512fa0157c2b5
SHA256: 811621cf5be52bf91d0c9ee72e092a681f0b64ea61c95d741febf36d793ae05f

Size: 1,344 bytes
z3 (z3_4.8.4-1_armhf.deb)
SHA1: 7ee0df92dc520b5ea3596cced345933ec48830ea
SHA256: d53a1e86c54ad070213383568f2b547cc9eab4fe0b9ed1ea2a18a2505e084769

Size: 5,738,268 bytes

Other checksums

z3-dbgsym_4.8.4-1_armhf.deb
SHA1: cdf38d09bc0f46ca8ce7ccf052b0ec34b6aeb86f
Size: 97,754,612 bytes
libz3-ocaml-dev-dbgsym_4.8.4-1_armhf.deb
SHA1: f19495693704c73edd95ae9db92d0b283a1dbb09
Size: 356,060 bytes
libz3-jni-dbgsym_4.8.4-1_armhf.deb
SHA1: e8673f0b8329efd00c8cccde14a4ff8d80f14e3e
Size: 182,304 bytes
libz3-4-dbgsym_4.8.4-1_armhf.deb
SHA1: 58bc90acf4257e7b59c338adba0374abba97653f
Size: 95,015,792 bytes

Submissions

Submitted
Wed, 4 Sep 2019 18:54:10 +0000
Signed by
0x2F7FE489BACF2560

Environment


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