Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 17 Jan 2019 15:35:21 +0000
Build-Path
/build/z3-4.4.1

First submitted
Fri, 15 Dec 2017 11:41:22 +0000
SHA1 of .buildinfo
027d1d246c6f996498e6b8e42d5b4119e05716a7

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: b3cff9459f88c3d7743226c24ca26b84171f5952
SHA256: 425eeee7263a9e719758161be390513d86fb358304bdc7508850091d5a89f0c2

Size: 4,735,056 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 32eba5a934960aa1ee1606146a7882bcfc579ceb
SHA256: 9d34f79989ee9bbd1e6d4c5a2f5a281d388642a460ec075756f75897a77a2b18

Size: 40,692 bytes
libz3-dev (libz3-dev_4.4.1-0.3_arm64.deb)
SHA1: ec694fa86d5da892861522f22e3dfb9165066e3c
SHA256: a2fce585b238854e196a00f7ed047e4689c24c1cc4c1092e857f9e8515b5e06d

Size: 79,244 bytes
libz3-java (libz3-java_4.4.1-0.3_arm64.deb)
SHA1: 10ad0b1ffa0cd72ab831624f300794883aadcde6
SHA256: d1702cf9966d9a258e334accfcf41227a72d91efd82cbcd6107e88bb7b11fa41

Size: 143,512 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: 60b605eca01b06c3d2d66d90bac114a4ef477141
SHA256: c8f65001c078f03e96a49fbdba25786960837e6ca03b6c4151ba9a0bd17a81d5

Size: 29,936 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: d55522b9ca00ac7b09a1aae161fe871e782a528d
SHA256: 885b4cd45719cd5d5280bf52c20ff1d6e8ac74a0c373885cae17aee470e82a21

Size: 455,276 bytes
python-z3 (python-z3_4.4.1-0.3_arm64.deb)
SHA1: 446b60d501027a1b515f9f23d8dc2b0bed5df385
SHA256: 61404638385024d742421f54252122e4f394bd46986a7551c559a33f01f25b6c

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_arm64.deb)
SHA1: d344aeb37479fb74e778554e0401b2c96d444412
SHA256: ab863cdc5ac55616b69c0fb173f459d3298df376cd6227c28d01fe71b27e9ecc

Size: 4,741,860 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 7543fd0eb394e9520dc054aabb3db475f57738d8
Size: 76,687,964 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 2ee8ded1d5ac6c6ca65f3051013d073a6ae474d0
Size: 188,848 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 59c6ef3f1cdc3370b7eeff925f38059dda79bccb
Size: 139,560 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: ba3c9e546cb0fcfacbac256ab4124d182e589a59
Size: 76,179,776 bytes

Submissions

Submitted
Fri, 15 Dec 2017 11:41:22 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"