Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 9 Sep 2018 03:57:43 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Sun, 6 Aug 2017 23:35:07 +0000
SHA1 of .buildinfo
55901bcbc88ffb32836247ef36ae74c4b0cfbe5d

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: c27a3fa02953735261e93005092c18326456e308
SHA256: 2af9e637485cbb23fe7a01d0fdf14d16c9cda31ecb12ec87b8b4185c503f1cb4

Size: 4,735,376 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: f1121b66c1a0d09a56f17987f5fb3dacab1e5cb6
SHA256: e018189550522935e57719d33dc37da45f0da8ef52d8237f9398dadbe1dfb71f

Size: 40,608 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: d1c57d3a25a9ca19c0a21d1972fb95f2f8d1acb0
SHA256: 9ce3695a96a2824d6e0659116ead1e2783f54f305eabc33615e03a02041aed6c

Size: 29,794 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 07de11745b04dc0fb8d82c509440ed2088cc4c26
SHA256: 6faab9e03e9e4a751670eee44690b7f45a9c235e98d862af80d4e1a47f9b27cc

Size: 457,166 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: 6196fabe11fb5ca42ddeb8a866ae8016dce681b9
SHA256: 3bbf998de4996290868cd67abc74562f5f3e68d0e72d89a67b0e2de7077eb52a

Size: 4,743,186 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 2bea8cd714385b7635a39b0c8f40841106d1953b
Size: 76,700,296 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 45edef08dd67d01495cc0dc629033ef249ebebf5
Size: 188,584 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: e53c37b753e7248d67ebca79acfb62b4b6df6703
Size: 139,502 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 02410c735fe60072bdf680969b6d7101fe9dd92a
Size: 76,210,866 bytes

Submissions

Submitted
Sun, 6 Aug 2017 23:35:07 +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"