Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 2 Oct 2017 07:39:40 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 2 Oct 2017 09:58:41 +0000
SHA1 of .buildinfo
316e515007aad5c836fb126bfcde3c075849a9ca

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: ed32908f4d972c69440274be3ea70fd60d6c53b2
SHA256: abaac59afdfe8e5cbb918364b0a58fd9f04fb7d62c0984d15d05a94104feb1c6

Size: 4,734,152 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 85fec10d31c9ba1e392dbaec16c8c96a92b5c520
SHA256: 771a49481c021800d74ff36b89be7e61ec06ca76d1ac0db514e5edb6586d005c

Size: 40,610 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: fbd14167cc424900b669cff1bdf198f71bab6433
SHA256: 9a1138da2afcc96faaaca275ae91b174196b8d6eeb345abe59e05dbf4257a94a

Size: 30,256 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: b9fde342750237507ca3a2164847041480f14a82
SHA256: bb588916a20aaa3e97cc350a9a8f8a0bd680207e4c71054a669a932d286a8f61

Size: 457,490 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: 166b67913ccf0472df2e576e6e50b967ef79a88a
SHA256: f90e04f880f4caa3c109318e428504e11db11183664082c1e0ae7568ae3ffbee

Size: 4,742,260 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: ff62e63069e238e72942cc10aa3df3528b50673f
Size: 76,675,102 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 5eba7109abe379e468377be33e097dda0e344952
Size: 188,730 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 13fb1ed4d269791d30d7174845235619e5dac0be
Size: 139,480 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: f39f9d0983cffef4c0efea1b41d8e7552ae8103c
Size: 76,173,098 bytes

Submissions

Submitted
Mon, 2 Oct 2017 09:58:42 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"