[ubuntu/yakkety-proposed] z3 4.4.1-0.1build1 (Accepted)

[Fabian Wolff]

z3 (4.4.1-0.1build1) yakkety; urgency=medium

  * Non-maintainer upload.
  * Add patch kfreebsd.patch to attempt to fix a FTBFS on kfreebsd-*.
  * Adjust avoid-ocamlopt.patch to remove all calls to ocamlopt.
  * Build libz3-cil only where Mono is available.
  * Build libz3-jni and libz3-java only where Java is available.
  * Remove enable-dotnet.patch and recreate its effect with sed in
    debian/rules depending on whether Mono is available or not.
  * Disable some tests that might fail on some platforms.
    Forwarded: https://github.com/Z3Prover/z3/issues/687
  * Enable hardening flags for libz3-ocaml-dev.

Date: Tue, 19 Jul 2016 23:02:19 +0200
Changed-By: Fabian Wolff <fabi.wolff at arcor.de>
Maintainer: Michael Tautschnig <mt at debian.org>
Signed-By: LocutusOfBorg <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/z3/4.4.1-0.1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 19 Jul 2016 23:02:19 +0200
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: source
Version: 4.4.1-0.1build1
Distribution: yakkety
Urgency: medium
Maintainer: Michael Tautschnig <mt at debian.org>
Changed-By: Fabian Wolff <fabi.wolff at arcor.de>
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.4.1-0.1build1) yakkety; urgency=medium
 .
   * Non-maintainer upload.
   * Add patch kfreebsd.patch to attempt to fix a FTBFS on kfreebsd-*.
   * Adjust avoid-ocamlopt.patch to remove all calls to ocamlopt.
   * Build libz3-cil only where Mono is available.
   * Build libz3-jni and libz3-java only where Java is available.
   * Remove enable-dotnet.patch and recreate its effect with sed in
     debian/rules depending on whether Mono is available or not.
   * Disable some tests that might fail on some platforms.
     Forwarded: https://github.com/Z3Prover/z3/issues/687
   * Enable hardening flags for libz3-ocaml-dev.
Checksums-Sha1:
 cc73ff273bb4418affb885bce4a1c96dbfb263e8 2811 z3_4.4.1-0.1build1.dsc
 7523c485fc7b834492aeae4feeb2110ad5baa322 12992 z3_4.4.1-0.1build1.debian.tar.xz
Checksums-Sha256:
 7e173ffac0078e558fbfeb2810af24e6cd6f7196293a73a147d6ad6adb0d3af6 2811 z3_4.4.1-0.1build1.dsc
 a954ab85551bd1cf23d0db1c174e63e1614f68e0e35905270563c94ff955ff62 12992 z3_4.4.1-0.1build1.debian.tar.xz
Files:
 00c583c0ff42ca6151d34e0bbfbcb604 2811 science extra z3_4.4.1-0.1build1.dsc
 89e10de19b72608be29a2a0ad063946f 12992 science extra z3_4.4.1-0.1build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXj7LZAAoJEPNPCXROn13Zk/gP/3LLiZYg+2nP9zgy+1ywoK7I
RkAN7wrHBQLlLveVpWHrXb1f9yENb5tQ30/5x0Q6BsvycKZRCohUz8IkoHL5lrmp
NtSu68LVZw2YfVBhSuwL45PpDqyJjske93wyl1/vqCqgamI7mDd4fUlWiD69A0bC
xYUYXEOzUelgl6Xm3oqkKSzrksFGm+yeVI2BTLYs6djuExPowtP4W1bBseV0Ziri
LYfa2QCr0SnkwAedg0Xq3O4kVRcFlCzADGki3RDsapkcFt/Qi491GxiS8+Z9jVJ5
VkgiteGwOUiTD3DmU4uUUNeDz4bkz024j3LQTLBLusQGO47RIFKrSZvdMP0+ISn8
FehiIy60Yse3funrMbmP3cMLGyseUV2sioF8SxklF3/sU3xZ34gwEdBui95dV+Xe
4S7GlBqNlb/hXMDQ/0kgkgLkwqv3Feo6WItqm8TuPlAFMB/DUoUgaqOFOYGJ6yFE
azKXOl4q+PWOB9ikTxWHQnq2I9B6YrdQ0Jyg7gec5lCvKtyitI/PJAvDjXd40OiY
AL39YySMGwmIxmGxIIDCkTs9RwPmc5lXkHgz5gfK25e+xxY1eXjyKlVN/MWGHmNC
49R4uzVBtXflmGqi/cwbK5NThleaUF6VnxgsgAWVQhZUxX2tu2rMG1MLziPiH5OW
nKvJn+iEnPI0Su94h3Sk
=P3HZ
-----END PGP SIGNATURE-----