Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 2 Jul 2017 16:17:00 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 2 Jul 2017 18:58:27 +0000
SHA1 of .buildinfo
462c850b2db077ec0a39b151006ba96fe13eb278

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: fa452f6ae4f0a26e2df26f278c63b46b024d8d0b
SHA256: d09a35f9d8953f3e1fe0655ee5b1f550d4dea323cc8f76d3170cb6be604b843c

Size: 4,411,320 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 2849be72dfba018e516c83773674f725bd0ca1ac
SHA256: 520d6bb1bbedceefe0c4e261901dfa18e8c2486fd5160b77d36f64b8e4f00cd1

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: c0d2c9290e4586b6e472d9ab0f97759d933332f8
SHA256: 99a7174aed5e2d3ae40613ec76a7c1ef704b50548660207f665fe28e0bcbd472

Size: 29,792 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 18bcf3c32129c36f30fecc288e5d3112fc3d3898
SHA256: 37e9daadb378880e6b2c7c7d3ee42630ab721ebb8ee69df4100c15fff228096f

Size: 462,398 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: 39565ffa421b791d139b2fda30119cbf74715cc8
SHA256: 6e3aaf3002f71c37d0e8290f0c326e387e814b82ee878d6174db5485095109e3

Size: 4,419,530 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 19cc24e0c08b2811425cedd89301dd6a1f003b8c
Size: 76,369,560 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 19db82b5b6a691b465147a614e7e7b20e37bad9a
Size: 186,568 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: a312ec0be5ec3bcae636902560598e8cd5620913
Size: 140,244 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: c51ff2a0daa14aebdc77fd28e7c416cc104991a5
Size: 75,855,844 bytes

Submissions

Submitted
Sun, 2 Jul 2017 18:58:28 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"