Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 4 Jul 2017 17:49:09 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Tue, 4 Jul 2017 17:49:55 +0000
SHA1 of .buildinfo
6c01bac2106158eda5d6f2822eb595e7dc79d4f4

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: f30d3bba4a7253f855dbd5bcb00f97ec0f2e992f
SHA256: 4c0468acba5d10f923b857ba760cc8f1a3280e682cfa7b5e3155f3f35280c9c4

Size: 4,410,966 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: d4103ebb86542c794e91ac5d091ad63ca7565e78
SHA256: 6a7ff3c90b6fc58125130c1e4e023557d19ee887d8b133d94a228e80a43000f8

Size: 40,600 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: 3e1cdc3cc1ee578f6fa79ccdb94fb2bc3d33c3ec
SHA256: 6438a6f25da324d4fed9aec5d4ac13ef2efbf005b56eaf9f679eaf54134dee05

Size: 29,990 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 3e32bfb520423b0931d4243517e29a44632c4a4b
SHA256: a4b177d94e9d8c072c6e3dc40864a1f92ca26b224b39b1e10c370832b417172a

Size: 456,270 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: 5b4996a23565733c2292c7c96b7d172091a46151
SHA256: 7e74bfc583fa16bc1238a067b3b56cc1a2b506374e04a7b2e9a6aa85f1330ffa

Size: 4,418,358 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 675c78b962c18320b34f6ce3de1be54b92d7e64b
Size: 76,353,264 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: ac50dc005d8e2c426e14fdd3dfa701c682a82c8f
Size: 186,164 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 1c6fa79c221cf115390b0694bff9c801e26d1911
Size: 140,144 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: c539bd7a0c050e1b9b077aedc0f213b1f6f5186e
Size: 75,834,372 bytes

Submissions

Submitted
Tue, 4 Jul 2017 17:49:56 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-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"