Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 29 Mar 2017 18:12:54 +0000
Build-Path
/build/z3-4.4.1

First submitted
Wed, 29 Mar 2017 20:44:36 +0000
SHA1 of .buildinfo
d3b91f9e46da5adf77fa4ed51471a0a989f4db63

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 3de9561544e841d80a977ead8113093b757c86c7
SHA256: 711808cceeda59d1819ab079139fa6595820f0e6f3ff39621557efbcf92dfe98

Size: 4,410,872 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 4c65f36de8babca019cb937fd1cb28464931b985
SHA256: 55c2c0ee5223adf6e34c5ed9a102112f95f665bc9a6b5cf3ae31560efade0cde

Size: 40,604 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: 034b022419b0970ec092ebe7af9b2d89e5c4aab1
SHA256: 014f3a8733f352cc56b85405ea258f896fe4dd093ffc73f040c7472f03164e6e

Size: 29,812 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 4ef5e47ee089861598cc9421e58e07a15fcf4290
SHA256: f3db104b5ba90b064fd6641cf33aa3348049fb3998998308ea7a5d602ba59af5

Size: 455,542 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: 5f9abaa2c1ec74b93c4a1a3d99ba4dbf470be8e3
SHA256: 3d48bdd82b162e2c29e68c0e784d52195e416044a9ee0e6208694f4d5abf64b9

Size: 4,419,346 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 24177efb510c4f820773dc2ed22d6f9fbfe94667
Size: 76,358,808 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 140c43a72b14f4d5f643d38a435ae36923f46bb4
Size: 186,108 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: da43ef3e81a568da14e6ae57bd3afedc263c40c2
Size: 140,146 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 779cd5ff892ce48dafa625295f29f389fc76a414
Size: 75,826,732 bytes

Submissions

Submitted
Wed, 29 Mar 2017 20:44:37 +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"