Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 7 Jun 2018 04:01:00 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Thu, 4 May 2017 21:38:55 +0000
SHA1 of .buildinfo
20c7bf209ebaa4dc3b0a14eb7c7f707bd854edbf

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: a70d056638aa2e800e248d3bbe134872e767037c
SHA256: ec6349220f844218e6c8920e388005997873055ea478a9905f9a04eb79e6fe16

Size: 4,410,778 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: de2f9024b833f3bdcff106fcf9482d9688c924ce
SHA256: f2c9f6c296c91a27f350e2f92b3257544cf3e49a7392a0b7d9048b3e48ca4a62

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: e74be6979e2f9835a95b933d65d4312bca11eb70
SHA256: 8719ceb021d74b278446f857cbaab16d069f606c292983c6ffa6a89652acd199

Size: 29,718 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: b32c275c7125d6c59928570971064121784d5c2e
SHA256: 5bc1293ba73cf5a821c5d58c1f735ebb57a50952e00eb96d1f4690833f7aeff8

Size: 454,564 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: 55024a580acfe4a4c384e9fca5b4b63089991365
SHA256: d28c014b5fe6e20a80b64b7cd95b228db984ca867f2f50783c887ecbaa78286a

Size: 4,419,058 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 2aaeb4efcf33f43d57d01e3bf84c49ee77e41dc1
Size: 76,368,612 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 021e240d79837393928b374e56ecb1c4ea85fcb9
Size: 186,492 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 8ce35a3bdde451e63c3d1fd0c8dc4327087062b5
Size: 140,150 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 18e34d6c9b07ee6802b61d42fed2d02f3221acbc
Size: 75,853,798 bytes

Submissions

Submitted
Thu, 4 May 2017 21:38:55 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"