-
z3 (4.8.7-4build1) focal; urgency=medium
* No-change rebuild for libgcc-s1 package name change.
-- Matthias Klose <email address hidden> Mon, 23 Mar 2020 07:29:12 +0100
-
z3 (4.8.7-4) unstable; urgency=medium
* Remove all :all and :native annotations from the build dependencies in
debian/control (Closes: #948763).
-- Fabian Wolff <email address hidden> Mon, 13 Jan 2020 22:55:52 +0100
-
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 <email address hidden> 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).
-- Fabian Wolff <email address hidden> Fri, 10 Jan 2020 16:35:48 +0100
-
z3 (4.8.7-2build1) focal; urgency=medium
* No-change rebuild to generate dependencies on python2.
-- Matthias Klose <email address hidden> Tue, 17 Dec 2019 12:53:57 +0000
-
z3 (4.8.7-2) unstable; urgency=medium
* Adjust 01-intrinsics.patch to try to fix build failures on many
32-bit architectures (patch tested on i386) (Closes: #946448).
-- Fabian Wolff <email address hidden> Mon, 09 Dec 2019 13:39:38 +0100
-
z3 (4.8.7-1) unstable; urgency=medium
* New upstream release.
* Refresh patches.
* Replace libnum-ocaml-dev build dependency with libzarith-ocaml-dev
and add ocaml-findlib.
* Use ocamlopt when available (instead of disabling it for all
architectures).
-- Fabian Wolff <email address hidden> Sun, 08 Dec 2019 21:59:24 +0100
-
z3 (4.8.6-2) unstable; urgency=medium
* Source-only reupload after the package has been in the NEW queue
(due to python3-z3).
* Update debian/copyright (Closes: #942154).
* Upgrade to Standards-Version 4.4.1 (no changes).
-- Fabian Wolff <email address hidden> Tue, 15 Oct 2019 00:29:22 +0200
-
z3 (4.8.4-1build1) eoan; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Fri, 13 Sep 2019 10:27:08 +0200
