-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jan 2020 16:35:48 +0100 Source: z3 Architecture: source Version: 4.8.7-3 Distribution: unstable Urgency: medium Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> Changed-By: Fabian Wolff <fabi.wolff@arcor.de> Closes: 948109 Changes: z3 (4.8.7-3) unstable; urgency=medium . * Use the CMake build system instead of upstream's custom Python build scripts. * Drop libz3-ocaml-dev package (this package is currently broken, can't be built with CMake and causes lots of maintenance effort while having no reverse dependencies (or users, for that matter, who would have had to notice that the package doesn't actually work). * Update patches: - Drop 00-avoid-ocamlopt.patch (no longer needed since we removed OCaml support). - Drop 02-hardening.patch (no longer needed because it applies to the old build system). - Drop 03-kfreebsd.patch (also applies to the old build system). - Renumber remaining patches: + 01-intrinsics.patch -> 00-intrinsics.patch + 05-reproducibility.patch -> 01-reproducibility.patch + 04-soname.patch -> 02-soname.patch (updated for the CMake build system) - Add new 03-pthread.patch (thanks to Aurelien Jarno for this!) (Closes: #948109). * Build Java bindings on riscv64. * Upgrade watch file to version 4 format (no changes). * Drop Michael Tautschnig <mt@debian.org> from Uploaders (he hasn't done an upload for this package in over four years and never responded to any of my emails to him). Checksums-Sha1: fb04f035a55030249917fa8ba700afbf908033f4 2564 z3_4.8.7-3.dsc fe819f99396fc83d53b0763b862dbba327e9c05f 9988 z3_4.8.7-3.debian.tar.xz 1ea862506eb53753bf2909ec3c0530edb8d19143 12909 z3_4.8.7-3_amd64.buildinfo Checksums-Sha256: 7958f308af5f726c704a5eeb6f0761e23382af19df29076044085175479a1d30 2564 z3_4.8.7-3.dsc ddd4a5c5a3829fc3a4a2f9c56cfef88b8349ac86dc234353492f8312c5197bbb 9988 z3_4.8.7-3.debian.tar.xz 704f6b66b0762a9ee25cf52201fe99820499d548ad260520dd77d120e2437835 12909 z3_4.8.7-3_amd64.buildinfo Files: c9a65c85b88e9882eb086fe8c6c893e3 2564 science optional z3_4.8.7-3.dsc 85e34090ca6276323ace7d759145d675 9988 science optional z3_4.8.7-3.debian.tar.xz 99f90e32d014b88a8c180d5e6398be20 12909 science optional z3_4.8.7-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEGKeQdgwAi1CfzfenilOItk1pK0kFAl4bF8EACgkQilOItk1p K0n5Mw//eDr9GJwllYlN/vQFrmpQkve35+C163RCMFXnhI54yTTeKIoVfHo8EM6a cVOGO4pJk07H51DL9fbLLZPW8JRvsFneGMwOzSVOP/TR3AF6+r5VO4+0lsbjnqXE e2xn5z6XACBEjcY9EnFp/gm5hStxQ47PADKOdhP1wzVVwnywt0gsH//ktVWjgptk ml4SMFZs6cWVggf0MVB7cqH0iyBFnt8kqxUg1BbS8iH2vB1Hfs9GDDHiMAVVJLaF KnIBr/Q9lgWeDzxDoyvwc8jOAi0hX0wPrSboVKftmAcVwHZL5jLWqQBy51CaINR5 8GBwYkbH6KEvuVyHZWw/IZi3Uzw82YNHJhaLmVZ1KbmLS2GUC7dWLeREEdFL3jyq A1faTvlNcRg8dzkSSf/xpd9TWMaZCentt7ClCdLgzW6uyVyooifLsD9ZPfuqtGqy XzQvjNdv6aAs2VTWH14Xhwvu5HnCarm1c/y3+oQtBu97mY06qqHivrn/TfmZQQfP xl7iFYXC8YIKv44hG0HrDF/tbHn9MlE5rtaQBmtiC7aLw6O8Dr2DdwjTKD7wrov8 g/B5SMudhvAu/D4syA6VDoy3ZnyCiOHYjO7tEbTUYaEj3EX7undc8+jmPUddVq44 P9nPwiXS7gZKeTe2k+wd2qqLWxMNwkkh9NOShUGnBPFl6FvV4k0= =3Njh -----END PGP SIGNATURE-----
