Accepted z3 4.4.1-0.2 (source) into unstable
-----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.2
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Fabian Wolff <fabi.wolff@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.2) unstable; 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:
0301f56f188daa31ace22fcaa2aa87198ee4bbee 2787 z3_4.4.1-0.2.dsc
6c89f3e4abcffe7284f1a9fad42e07da9ce20a18 12972 z3_4.4.1-0.2.debian.tar.xz
Checksums-Sha256:
11b2505dc3a4ea8a5093d4605efc6b13e9d8f496f08c7dafcb5397cd5712f3c9 2787 z3_4.4.1-0.2.dsc
4879e7b3ba2cf353ad05b00059c2e18d37f8c1940d3c2286e8dd0be8d247e47d 12972 z3_4.4.1-0.2.debian.tar.xz
Files:
5c9c55d7afc6b6ce1dec2eb99bf0d8aa 2787 science extra z3_4.4.1-0.2.dsc
cce4eb00777223fc21bf77600b5136de 12972 science extra z3_4.4.1-0.2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQIcBAEBCAAGBQJXj755AAoJEPNPCXROn13ZzlEP/jrn/estVi7h5kc5BTe+YETE
zvBq4snyB2bcteb7nilqqGqTFiYGFv4MR1VUnoQ920vnt7xoWmh3oGhxmlR7/M9E
eZTWKCO7WBA05VXJOqOHTTl5WgSx1wQI9RuVZKgSIhn7UnJdTRjHyCI7P+azZZzc
MyNI0yg7K+AsHO4GRRp8erEmLLIgJBWY/luoPwvT0iBaZ5r6nZXC+YMt8g1P2MVY
Hqtt3Y0QYmQ8u8XBedahLtI4AgfbM0/7CFst4lOiLX+400z4aJoxW4hNoxKDKMxs
pnk5ekt/Tp4qkKE9HQjyLoZch4N5Y3K1zj6Qu6kCiLkyX0zT7y1Ib05Y/Bti0U24
0t/+WJR1PP1olN9XmH3tj+3ybfgz0LZEiIbdRooWjfhAoORPgmKOeEyLii7Wg8Se
P1PVNt+ap94xZDWCt5mpsRtib3UGMPlfi/0u9CMoYXPsRwp3CPXGO0AnDWqIBqz6
9SHxs7F1N325+9uMMR2SQ04kbDkM7wWGwnSu78oS0yomKHiYtMQvIwRFEkcXsq6g
7elS2oK/kHzetVtBYJh34MygAM3elGMD6ltrbDqhn9zJCF1D5/JJvNuud9R89Kez
H29W7Izepk1ugmPyw0ctnDlsLke4r9F79s9+fM7uaA67V3rblt1c7Q6HGWuknoF+
aCrN/45P99f4NgnA1BI/
=dFI1
-----END PGP SIGNATURE-----