[ubuntu/eoan-proposed] z3 4.8.4-1build1 (Accepted)

[Gianfranco Costamagna]

z3 (4.8.4-1build1) eoan; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 13 Sep 2019 10:27:08 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/z3/4.8.4-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 13 Sep 2019 10:27:08 +0200
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: source
Version: 4.8.4-1build1
Distribution: eoan
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at 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:
 7afa5531a90aa873ae23a484088af4581f106d32 3044 z3_4.8.4-1build1.dsc
 71304731386eb66382c9439c426150c046d8e9ac 9528 z3_4.8.4-1build1.debian.tar.xz
 2f067caecc376efa08ebffe18f57970da5a92fa1 22058 z3_4.8.4-1build1_source.buildinfo
Checksums-Sha256:
 a17b5f052bf753a4036e50efc9cc732fb91c75e842a9003563cdfac3302be631 3044 z3_4.8.4-1build1.dsc
 34a4b5ac1a31dba3e0efcbd8bdeb80dcaf3d2d0c4d5c9ac73d0fb080b5ceb847 9528 z3_4.8.4-1build1.debian.tar.xz
 301c9ed14f84df63744bbbaaa4145ddd05503eae9100a4809ca8b8cba6235681 22058 z3_4.8.4-1build1_source.buildinfo
Files:
 967fdbce4e59a5e17161c86d73b03972 3044 science optional z3_4.8.4-1build1.dsc
 9670719c6757043d13be247771648a08 9528 science optional z3_4.8.4-1build1.debian.tar.xz
 33bf182b89bf8af020fbd8dd0baebf1e 22058 science optional z3_4.8.4-1build1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl17Ut4ACgkQ808JdE6f
Xdk/hxAAiIs/1nF1iHnKLaIDAYk2VVKGY/Aq05Xk1AylqW7ALi9TnlC1XHwUXLXf
lKgDW3dWszvpFfVyYi49l4QdcVtPrH2iN851k0vjUNqD7iRr7YSNxc3UzgiO1lLj
QDOy2MHyaENbBxxruBp7yBW6CFIzfOkq96TZy2T+dnt+SvCTNu+kxQatGhuILDsj
wKvgI7auDny0MxvtnA3QOQwBgTfmzXe5Xs4/fVvdz5EyoQQRxsg2Ylwefhvp+/D1
KyLLh8eB8yg8aucrH8Vxw7KJvnZTbRBKmXpl+aMVsxSsjYpvKLef5EyRdrdDIqj/
O+1rlfkFRVBCIHvyCZ3ZGrW8orqh68fAvyDVpyLtBmvEFy133q9AjaDVgNhUiudD
qwZHitAPQVSnnr/guZFT7JSulsz4n5wup+2ujUbojzK33DCibFUFsNRdtXOQSWcl
tsLzqw049LShNlX+RWKoN823hkJ9lxQ3q0ZuoTDuzwSmFdrzz9JFW8zqjoFclCwx
+NgF+4AED+eXKt/Wl+1wlhlv5KFSU5ss7VFYI9cYGGWpDfEgGM8ktN8viwlk+X9R
mnURRh2u2Gikp3zAnl9p69pGcTjRWE5dG8k/flZm4BlPYTbPHkFWibBgpFK1qhvg
TZFYq6cFp2JYpOLtu/Uy4AEp5sicX2NXnCzq0TuXPcMRq1YtCyU=
=BP5T
-----END PGP SIGNATURE-----