z3_4.4.1-0.3_arm64.buildinfo (view)

Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 30 Dec 2016 13:50:59 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Fri, 30 Dec 2016 13:51:46 +0000
SHA1 of .buildinfo
acc96a13b3719f12afd83d7d0c666a2608e57dda

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 4e29702d52eb3e6f466cf904aee846a7e7611007
SHA256: 3e1bc4d1750f66b162d4f2affba5d23c116fea8cdf5f333c0e2dd8943fcb33ca

Size: 4,410,416 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 0a02d9ea1078aec5ef058dd33ea357ff85b816a8
SHA256: 76e2b8c99516e5e12a50bfb98a4194782191071c0365c11cf07038720bb87109

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: 64945b211a6c8b404a51abc5d6394f1d0e62ed0e
SHA256: 1fda4d29115a18cce17e06541123d810173d8255a5fa70aa5d6954ca26708f00

Size: 29,714 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 14cfe52356ed38b7ee82450b8c20e75fadfdddee
SHA256: a9788cdc6ee15628211e2910ac39abc88e20c84aeb522b39cfd6e3937e36d2ae

Size: 456,116 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: ac61b0ac17dcb221fc398bde95c2836ca40f5c69
SHA256: 04f0048afa49ca9dcea4fc40cc3ca13dc770ee6434c390a7e6bee9be0f36383e

Size: 4,418,992 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 32f8894df606c7cee4700d7e4076bb87ffcbb4eb
Size: 76,347,774 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 974fc035a6baeab644e0047bffec1ba79f16adb8
Size: 186,204 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 77b49af3b3b0f6f98590be8585e3e08553db8957
Size: 140,022 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: cd4372edc7495d84d3f0bf2d8a43f1789f96c24f
Size: 75,831,718 bytes

Submissions

rjacgovi
Submitted
Fri, 30 Dec 2016 13:51:47 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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