Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 21 Jan 2017 18:10:09 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sat, 21 Jan 2017 21:21:45 +0000
SHA1 of .buildinfo
59124ad7c01a12b2340e210d904b39872cc90ba0

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 9f35633254d7c96198fcf5737ae915a7a8e33a83
SHA256: 99958880cbe2cb12d22f7485b24d23265bf78ada43ff1292b7698974cfbcb1ef

Size: 4,410,368 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 4d599a52293375fc9e2b537a4055a24687a3bf03
SHA256: 75c5cffc4f01dca67b107f1f689635e177f59a8955cd50b04577c7e475515617

Size: 40,606 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: 14412b812c24affb1762470ec836f129f77a1810
SHA256: cd17188c24e18d10b1ffafd726eb9edd935605a0f9f785abb3219f6694b5afa2

Size: 30,050 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: a0091445714aed67c68b88e11be40eb0476929d1
SHA256: 932cb2d372686c7113b210600f98bb9979a73d75f7afd2d3e251dd198eea7e24

Size: 457,912 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: 4275b4b5f0ca18c83ad25cfb88985b6f102554ae
SHA256: 469a845e5b6ff148af959125b1652f46a8852da7523fcaa20296296519175acf

Size: 4,419,184 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: a360ba78e0af54ddfbf9bdd790d61fa4051b9abb
Size: 76,345,400 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 69b4da758a500dbda683d3a009527470f9ef4503
Size: 186,112 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: d4ebfdb985d7fa392a4aaa9dc6c7c259558824f2
Size: 140,134 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: cf12c7612bba98947e8ebed948cef07f02a7def5
Size: 75,822,352 bytes

Submissions

Submitted
Sat, 21 Jan 2017 21:21:46 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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