Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 4 Oct 2018 20:38:50 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Fri, 1 Sep 2017 18:56:18 +0000
SHA1 of .buildinfo
4a3e86daf7faae9d7f7e6c72ed588a39e98cb618

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: e94905977a4955f6356bf144047dedd582314b44
SHA256: a9567602c8176a3d2d5e87327672fa9c90dbf757eb55a413ad11000ac49e12ea

Size: 4,735,044 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 87fb443b9fd01e05e8ff99b04fdd5d713c4c6c7b
SHA256: 2304c997227714bf55f21837d12114e0f7b2f0d24b9dda3d554588fb2d545462

Size: 40,600 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: de04f9ddb7f41b4908c3755f472e30d7073358e8
SHA256: 71e759a07ed38e6b4a39a9068963907bf51acfa4ae40c92cd1e741ec0d711cd4

Size: 29,814 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: d2b51d13c33aebf75380068a723d4cbae49222ac
SHA256: 5629c9abc1980bdd2c7efc14b3319f8ebecf8636c7eeee36d30c1caf9afb0528

Size: 462,080 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: cd9eeec786ce04cb0815b13ffd876b607f5e23b2
SHA256: 62782091411ba44010995e44ee07de4c3aa29520e8bb993c92fd80bf55946f6f

Size: 4,741,724 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: d11124b9e6eb07a566b0f76a14192aa2222edade
Size: 76,702,886 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: b6e3467489d251309db39abbf37252d01944523c
Size: 188,678 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 4c28e89a9a0e83982811ec20fd3accfde81323aa
Size: 139,574 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 669e2e44b13db6bfc537d799515777b22437331f
Size: 76,194,342 bytes

Submissions

Submitted
Fri, 1 Sep 2017 18:56:20 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/1st/z3-4.4.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"