Format: 1.8
Date: Fri, 13 Sep 2019 10:27:08 +0200
Source: z3
Binary: libz3-4 libz3-cil libz3-dev libz3-java libz3-jni libz3-ocaml-dev python-z3 z3
Architecture: armhf
Version: 4.8.4-1build1
Distribution: eoan-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-040.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libz3-4    - theorem prover from Microsoft Research - runtime libraries
 libz3-cil  - theorem prover from Microsoft Research - CLI bindings
 libz3-dev  - theorem prover from Microsoft Research - development files
 libz3-java - theorem prover from Microsoft Research - java bindings
 libz3-jni  - theorem prover from Microsoft Research - JNI library
 libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings
 python-z3  - theorem prover from Microsoft Research - Python bindings
 z3         - theorem prover from Microsoft Research
Changes:
 z3 (4.8.4-1build1) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3fa6b306e37454d419fad645c1b6a85c3968a020 95121132 libz3-4-dbgsym_4.8.4-1build1_armhf.ddeb
 478b7de04025a9519ab6aad77b55d0c7045a22b4 5602512 libz3-4_4.8.4-1build1_armhf.deb
 c47f579d4f145970f360a02053ce9a9172d4fd1e 45160 libz3-cil_4.8.4-1build1_armhf.deb
 0d14a317623b4f485c10ab0b099d419ff7ff2191 65108 libz3-dev_4.8.4-1build1_armhf.deb
 6e88ecb09e5e081fa91b30dcfa4636390a228bc8 152320 libz3-java_4.8.4-1build1_armhf.deb
 5d641094953415b9534b659b78715515dc2959ce 182296 libz3-jni-dbgsym_4.8.4-1build1_armhf.ddeb
 fad7ffea0783cc04dd4924f30ed02b5fbfba40cc 29572 libz3-jni_4.8.4-1build1_armhf.deb
 01f086620a856873e835662a813ce70ce366e78f 356252 libz3-ocaml-dev-dbgsym_4.8.4-1build1_armhf.ddeb
 7098510c7fa519cda6e4555c808f5e5c94ba4813 466116 libz3-ocaml-dev_4.8.4-1build1_armhf.deb
 9bbd4d7ae3b66cfc061e43b41615aaf6887498fb 1396 python-z3_4.8.4-1build1_armhf.deb
 77928b8e4a96d8062b22b06b21b91790fc003871 97776724 z3-dbgsym_4.8.4-1build1_armhf.ddeb
 761775d33087a9747385ed98ec296da5ac4a3b02 23420 z3_4.8.4-1build1_armhf.buildinfo
 974dc5025ae220be5638ac71e3b1a3d191ef894f 5722940 z3_4.8.4-1build1_armhf.deb
Checksums-Sha256:
 69661c07b623efbf7df946c9fb34688f67b626d02847ede5cf7071008c69afbb 95121132 libz3-4-dbgsym_4.8.4-1build1_armhf.ddeb
 1113c0cd64fd1d52394c3782d272b985d6c4638f82216b48d7438d3f18e12d78 5602512 libz3-4_4.8.4-1build1_armhf.deb
 54b9e28a77c35c2eb36cb23de8eb4c6af7cbe18d68f903003d51813e966b3ccc 45160 libz3-cil_4.8.4-1build1_armhf.deb
 b57a7680273a4c7282f97e21ef756ac37dd1cde036348503258ed8cd9ecdb989 65108 libz3-dev_4.8.4-1build1_armhf.deb
 36c3f46686fc74237aa9bb0b07f1d0253f181bff77334270a60b35a6c49c0074 152320 libz3-java_4.8.4-1build1_armhf.deb
 3a252296600e61284190db677b63ffd2498494d9ba832a9889259e08ebc81463 182296 libz3-jni-dbgsym_4.8.4-1build1_armhf.ddeb
 39321e7b4c90d93df60c16d5f2ea32544e528cb3c5a480e4028599e9728afc7a 29572 libz3-jni_4.8.4-1build1_armhf.deb
 6231d7c95b080c989d41648921643123a576fd315155987f42614abe4a7325d0 356252 libz3-ocaml-dev-dbgsym_4.8.4-1build1_armhf.ddeb
 eaf2f189fb2e686bc63935b6f026bc6255f55915a10ebc708fbe3a4d099f7180 466116 libz3-ocaml-dev_4.8.4-1build1_armhf.deb
 4b2afd90b6ddef58bcf8cda87fe5d92a1e793520de519960a6d9e3b21c071ed4 1396 python-z3_4.8.4-1build1_armhf.deb
 1ca5ac5bec2eaf25186972ea2b2a09c76a6fc24f0af280005d90da47e898fbe7 97776724 z3-dbgsym_4.8.4-1build1_armhf.ddeb
 6ec7ae1d18bd99c385552de71a242a0c8b217f27b9d9e33c629da4f694664877 23420 z3_4.8.4-1build1_armhf.buildinfo
 2d6f5f04715d0c6417aca56dcb28dbc03569625a3d60570ae950fd2437a8451b 5722940 z3_4.8.4-1build1_armhf.deb
Files:
 fa13c860efb97c6a39ad7192d5f3dba5 95121132 debug optional libz3-4-dbgsym_4.8.4-1build1_armhf.ddeb
 017ff7c608699f8ad524914a24201ad0 5602512 libs optional libz3-4_4.8.4-1build1_armhf.deb
 483f4b13ac5b2928dcd7d76fbe03e6cc 45160 cli-mono optional libz3-cil_4.8.4-1build1_armhf.deb
 be128c22fcf7a5327fc8e18a88e52536 65108 libdevel optional libz3-dev_4.8.4-1build1_armhf.deb
 1f1829163f5c5700e79146c9f27659ae 152320 java optional libz3-java_4.8.4-1build1_armhf.deb
 4a78687e64fada55abf50102b43a54c9 182296 debug optional libz3-jni-dbgsym_4.8.4-1build1_armhf.ddeb
 e79d800036504168558c7394c3a16b9f 29572 java optional libz3-jni_4.8.4-1build1_armhf.deb
 42c7a1560934a2c24ec34dd4af294d02 356252 debug optional libz3-ocaml-dev-dbgsym_4.8.4-1build1_armhf.ddeb
 0dfcac252eb1f0b504de104c346f6f5c 466116 ocaml optional libz3-ocaml-dev_4.8.4-1build1_armhf.deb
 ed095cbd863890241b1a3891514f3d1c 1396 python optional python-z3_4.8.4-1build1_armhf.deb
 b5cef4171c45d4a441528508305561f8 97776724 debug optional z3-dbgsym_4.8.4-1build1_armhf.ddeb
 940d2aee6e35d366c67b9ba5119e632a 23420 science optional z3_4.8.4-1build1_armhf.buildinfo
 9aaddd8b57fbe1e38ddd12fc1e956409 5722940 science optional z3_4.8.4-1build1_armhf.deb