Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 13 Aug 2017 07:52:08 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 13 Aug 2017 11:10:12 +0000
SHA1 of .buildinfo
52b3da1713ca497d8e3a23d1fc9dcac4b25a72fd

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 9b47704d5cf1520cf7de86ce382463ea8277e950
SHA256: 303b62daa121d10b6c20b4f159cc340a557c4aadfb0c8cc0a6a158bea6c8abd6

Size: 4,411,982 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 4c5c9f304728183aa69e26f3a05df881732cb9f7
SHA256: fe6578501622530a517be5cba85c371c93a6ee02e9cfe572ced1ece6a5fa3d77

Size: 40,602 bytes
libz3-dev (libz3-dev_4.4.1-0.3_arm64.deb)
SHA1: a7b14464406f7669889e00adb65afe8f3783398b
SHA256: 4b2c6454ca8155436b6c98c9c046f7a0b28d53496d9af5be28450174be14d5c5

Size: 79,168 bytes
libz3-java (libz3-java_4.4.1-0.3_arm64.deb)
SHA1: acc3abcb09b9c9c90ba578f9f70d2600058f0363
SHA256: 7e3a204c91bdf0eb6372f9cee40f36313587ae099d66333b3a909db6678dac45

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: 8eed8e61d62019140d2b4aaa3406afe884d4270c
SHA256: f722efdfd532b3a209942de2b23a56e34fb414207ba7ca6a528884b0db0dc342

Size: 29,742 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 4601e640d64093d09ca4c64c659c62eb845c3775
SHA256: c3afbaca65ed9e75a7c94fb849a7a573d32c305cc684f5b9be2f527d858b66a1

Size: 451,450 bytes
python-z3 (python-z3_4.4.1-0.3_arm64.deb)
SHA1: 5534652f2c48e3671b497ebae7af934a504e17cb
SHA256: 13c894c565c199cf3e5097844dbfb914ded401eac21f6c06fcdecaaf5b21c991

Size: 66,918 bytes
z3 (z3_4.4.1-0.3_arm64.deb)
SHA1: 30e8cad6cb4dc0bff2e19e383a986889d8b6adea
SHA256: 25a61874ab55607cdea8751645fefbeb45e8c7dcf2775031bb3bc2904c1efeba

Size: 4,418,542 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 572359b2916d16f97a3b22c61050524e9befcd63
Size: 76,184,926 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: bb4755d9c5410c0ac31e1617cfd1b9ed6af01350
Size: 185,604 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: ec786be7f1df7730c7ad36250bce77af900d9323
Size: 139,778 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 38d3e63c049661b8168cd5d0c293b50cbceb69df
Size: 75,670,032 bytes

Submissions

Submitted
Sun, 13 Aug 2017 11:10:12 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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"