Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 29 Mar 2019 07:16:23 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Fri, 29 Mar 2019 09:31:03 +0000
SHA1 of .buildinfo
6c75484b95490520dd1454719ffa07c466b1dc89

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: 3efd0c2846007c9d1c32716745ea0888b6bf21ac
SHA256: 65b152b4a1c2dd0715bc2baecfff86b5effc14774069298bfaa7e6287b251a01

Size: 4,560,012 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: 13a551c6685b8194fdd7427717f45238a3d0e6be
SHA256: c875a66d3f4773795821397742df7a00d59837a61c041785a8af6c41cbfe4e7a

Size: 40,664 bytes
libz3-dev (libz3-dev_4.4.1-0.4_arm64.deb)
SHA1: 3254fbafbb427e78096d3490f66b0b867c38681b
SHA256: a5422451643d5bdedc17f8361b6e3ab63e05a689398a43dc1a0e73a5ff5650d4

Size: 79,352 bytes
libz3-java (libz3-java_4.4.1-0.4_arm64.deb)
SHA1: 9f4bc3dc448b6d1b743a6897a4d4d18d5a0b350d
SHA256: 54a4617a2ac954f7198ab7174afb74fecc5bdcd049b0521c8616188ba9fd4147

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_arm64.deb)
SHA1: 1679e6c847a923af1f7cab90425e136704a9d47c
SHA256: 091f1e0d0c90f519ef59821a84f3f042d306178edc39aa533b45c7d27f71656c

Size: 30,104 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: 7b1926da2b8b5b8ed6419499c797fa49bfb32c81
SHA256: c982eecd40ed8a391ae986d6d7ec443b1f5e70dc38c50c6e553fe61308b11b38

Size: 521,396 bytes
python-z3 (python-z3_4.4.1-0.4_arm64.deb)
SHA1: 9bab827455d3557361ef16b01d8d61dda7033bb3
SHA256: a6a6e74f600adca7e56966193b119886a6f617a035cb5ab57b9d2a19205ff01f

Size: 66,992 bytes
z3 (z3_4.4.1-0.4_arm64.deb)
SHA1: 9cbdc265c3fa5f7fc0127f12bc0d2722b0b5fe8e
SHA256: 6aa05246cfb6307cce4d96ef3ce36e815623a5259a81c385911be93cf3f9be4c

Size: 4,566,540 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: c3afd54ddb9cb7c1de38fdef66f285b12a23ba45
Size: 97,104,156 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 82547b9c4fad75722ef23bbb61602fa9672e3726
Size: 204,484 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 629f0ae87641c180367d4740c24e7bb0641344ed
Size: 170,140 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 4d989c8f1550eb02b68575e1179000cae177b96a
Size: 96,524,880 bytes

Submissions

Submitted
Fri, 29 Mar 2019 09:31:03 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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="1536521312"