-----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 <m...@debian.org> Changed-By: Fabian Wolff <fabi.wo...@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-----