Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 9 Oct 2018 20:06:02 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Wed, 6 Sep 2017 16:13:27 +0000
SHA1 of .buildinfo
ef5ff03149025817e0e6979722fe3c533c5d45e4

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 13a9587034b8fb2b6a8009541825e4479c199c70
SHA256: 7337378f50d77aafec73fd5e0bc7d067b7e62f0114c1326bcc76c3e72ac7388f

Size: 4,734,972 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: ff64333ce86b1e891942a6a2487b60f158bc2122
SHA256: ece57264239c8fd8bc66c12a31905d463e118e512809b6cd92ee2dd9bc1cb996

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: d46b652eb22f9493d4e4f58528c81f49fe204f2e
SHA256: 4dd4c678ed7bd527810dcc5ae036e2741b1975f869a95672210ba2f21e9c7450

Size: 29,992 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: aacbbc22eb8fb55b544172378fed667dc38d0440
SHA256: 153d849de86bc0e2e4549e40b9ffb66ccedf1c53a519dcf855884ae91b798c19

Size: 462,502 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: 94a64d85b5d96ebcad7f3fd337ab59d18e2424ef
SHA256: 7eafdece9887f4523332077de4f29844b2de34ff3873a8cac8602c775a72c47e

Size: 4,743,070 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 8d3ad0f76222beb1e9638e1ea6c95b738636f664
Size: 76,711,210 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 2dedb9c4fdfe1b783b6b02ca9486664cb0ee6519
Size: 188,776 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: ed9a4f3d509a64e5f25206e9a6b7b6861147acf4
Size: 139,506 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 4c57d75324b9a6e06c1ced4ee1ac20b007e6e352
Size: 76,206,518 bytes

Submissions

Submitted
Wed, 6 Sep 2017 16:13:27 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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