Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 25 Nov 2018 22:54:58 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Mon, 23 Oct 2017 16:57:00 +0000
SHA1 of .buildinfo
33db11bf08ccae0e9e87ed2fb5a8b23a52fe4605

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 70e73fa4b2b8c84df2077fd9adcb2640a5ae2868
SHA256: 16be524f01b06d29d8fd1829e148c52db29ceaad26928ed9b29498fcb0d75482

Size: 4,734,120 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 111ed726e98164b2e157ff75ca18ee05431750a7
SHA256: a3e85c82b0707039c14c6787e54c92c9dddb85489f4e5a071a23a3cdb85b0c85

Size: 40,684 bytes
libz3-dev (libz3-dev_4.4.1-0.3_arm64.deb)
SHA1: ec694fa86d5da892861522f22e3dfb9165066e3c
SHA256: a2fce585b238854e196a00f7ed047e4689c24c1cc4c1092e857f9e8515b5e06d

Size: 79,244 bytes
libz3-java (libz3-java_4.4.1-0.3_arm64.deb)
SHA1: 10ad0b1ffa0cd72ab831624f300794883aadcde6
SHA256: d1702cf9966d9a258e334accfcf41227a72d91efd82cbcd6107e88bb7b11fa41

Size: 143,512 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: 512214002232639c4444c32f8c0294c2ca870f85
SHA256: 61b208275fa048fc77de0f9f53661b693fc30a8670259dae90d98cef57d451ca

Size: 29,844 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 0fd6772f0878cbbaea34f424ca1d9b7e38315c15
SHA256: 4c282888f4f4bbefec458985619e763a5aa95ac48d7c86633ebf21ba88b55861

Size: 499,768 bytes
python-z3 (python-z3_4.4.1-0.3_arm64.deb)
SHA1: 78e9d4e5c3fadd79b154617ffb9f477b84423bb3
SHA256: 7fdc40474113e6ae5db7c10cb52c5d97657aaa1b61f818ce4b60f481192b12f2

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_arm64.deb)
SHA1: 46a626a0cf63c3795d26775bb49f55e840089cd2
SHA256: 0029a8c2bf43998af7c51042be87a5652db94d380e5e725402a067cf71e851e0

Size: 4,741,440 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: b8a3ad0f9aa2b46db04190236a4fe1b3913ab8a1
Size: 76,674,616 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 714fdd6a2af320759ce9c3057fde5a237156828b
Size: 189,208 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 0fce348441bee80cc16730f9cda1333792fabf89
Size: 139,604 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 8b3acab72cdd1243be9cc9901bbe6b5d097abc1d
Size: 76,172,928 bytes

Submissions

Submitted
Mon, 23 Oct 2017 16:57:00 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"