Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 16 Jul 2018 14:41:16 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 16 Jul 2018 16:54:04 +0000
SHA1 of .buildinfo
ce7e53298c35a47c43f83f7c139a83c80210f719

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 93db7fdbdc219f7aadcfd6a4438a27ffbf041fbe
SHA256: bd4b1448acf35d2179268fd806577f4e4ff6a7f8f725a6a913d3975676574299

Size: 4,699,252 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: ac05bd15d8db135da09a07bebcda639e02e70c09
SHA256: 96bbb0337e29becf008fb0808ae9acfc2d1fb510394c52a0af2b8e3c0341f6a8

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: 7d872f9db9b57262c5170082b87a147b16fe44ac
SHA256: d372170875c89ce17dc9e01b4aee1774f5df61f011580b2575f8cc3e0f6b5cb1

Size: 145,732 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: 43cb6b39334723eb025f1eef5d038be9da01b5ee
SHA256: bdbdaa933fce2bf7518ab37f6b7d46dac170d158f0583317f6f6d2c9bf3b83da

Size: 30,124 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 9fc66fecdcb13038d51bb8fbdd94fdf5c9acef40
SHA256: 6b02273132ab408a3c58e2fa90d0086cf358bcdce8af87f59e375a1dc602180e

Size: 501,080 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: e02cb8a2344a4cfa8ece4520513bd1f10d06d1ba
SHA256: f7f47838bbfba332fac9345a51bae108564eb548c0dc98cc919fb5371073eef9

Size: 4,706,932 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: ce2c5bf11b83999fc145336b366dad375e17f46a
Size: 77,281,428 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 4ead957dd9dd04617929d17d1d32db420adbaab2
Size: 188,288 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 4faab7c01fa05a0daebb94de25c433cf62238d5f
Size: 139,452 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: b722adda331e23b925b876d746bbc066bf38354f
Size: 76,780,816 bytes

Submissions

Submitted
Mon, 16 Jul 2018 16:54:05 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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"