Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 9 Feb 2018 23:06:50 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sat, 7 Jan 2017 19:16:31 +0000
SHA1 of .buildinfo
255659889ca69ef796e726d4b05a381533e1003b

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 91395b302b775c15ed0cf69c094fb6e4cc7e383c
SHA256: 2107765bcb6058cb132e4b137b08acc9857953bf9a63a27f292a86f38e54fba4

Size: 4,411,842 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 94725d80eeb0cdc01ba4a0516267f09f2bc65b39
SHA256: 3c2376d5dd0a6edcb638d42305e4e9d39ac0b82a000924e4187c16b9b0fe45a8

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: 8e24b2514d162b704921297dfc9ca16a03fdbaf8
SHA256: fa17bce2c1d9f27183e07c17b5fef9497c7f6d9fa8a32b95988a0ce2462b1782

Size: 30,116 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 7d65b0b809644f34a5304cc1681d1b30a117a81b
SHA256: 16f4f560e4505bb1375d7631c5d1f03b68e6434ef4c80ac6c70458670406915d

Size: 458,314 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: efa65a9bf8b826ff157db29984704b722063d01a
SHA256: b39f99078fdbc391ba03cad9dac2cd36e5b33468b173aeac9aca5d1491278a8c

Size: 4,419,788 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 4a9b26e7a7f677ed469fc4bf8ee6f4ca3fa8561a
Size: 76,349,456 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: e7a594a5ea4de5c3297557391b339ee21c73ad5e
Size: 186,654 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 2c78c521990bf5880a123d7ddec374f7851715ed
Size: 140,054 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: a9885a6ef3cf206b4b5e495b4113860b8bc84c88
Size: 75,829,904 bytes

Submissions

Submitted
Sat, 7 Jan 2017 19:16:32 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"