z3 (4.8.12-3.1) unstable; urgency=medium
* Non-maintainer upload.
* riscv64: link against -latomic (Closes: #1025343)
-- Manuel A. Fernandez Montecelo <mafm@debian.org> Wed, 01 Feb 2023 13:06:03 +0100
z3 (4.8.12-3) unstable; urgency=medium
* Do not use SSE2 unconditionally on i386
(Closes: #1020802, #1020516, #1016658, #1021926)
-- Karo Gyoker <karogyoker2+debbug@gmail.com> Fri, 21 Oct 2022 19:24:40 +0200
z3 (4.8.12-2) unstable; urgency=medium
* Fix a typo. Thanks to Boyuan Yang for the patch
(Closes: #1018962)
-- Sylvestre Ledru <sylvestre@debian.org> Sat, 03 Sep 2022 11:48:53 +0200
z3 (4.8.12-1) unstable; urgency=medium
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
Repository-Browse.
[ Fabian Wolff ]
* New upstream release.
* Upgrade to Standards-Version 4.6.0.
* Update years in debian/copyright.
* Update 00-intrinsics.patch and refresh 01-soname.patch.
-- Fabian Wolff <fabi.wolff@arcor.de> Sat, 11 Sep 2021 17:58:23 +0200
z3 (4.8.10-1) unstable; urgency=medium
* New upstream release.
* Update Standards-Version to 4.5.1.
* Update patches:
- Refresh 01-soname.patch.
- Drop 02-pkgconfig.patch (fixed upstream).
-- Fabian Wolff <fabi.wolff@arcor.de> Fri, 29 Jan 2021 17:44:09 +0100
z3 (4.8.9-1) unstable; urgency=medium
* New upstream release.
* Upgrade to debhelper compat level 13.
* Update patches:
- Refresh 00-intrinsics.patch.
- Drop 01-reproducibility.patch (fixed upstream).
- Refresh 02-soname.patch and rename it to 01-soname.patch.
- Drop 03-pthread.patch (fixed upstream).
- Add 02-pkgconfig.patch to correct the new z3.pc file.
* Add the superficial pkg-config-test autopkgtest to check whether
the new z3.pc file is installed properly and usable.
-- Fabian Wolff <fabi.wolff@arcor.de> Mon, 21 Sep 2020 12:55:45 +0200
z3 (4.8.8-1) unstable; urgency=medium
* New upstream release.
* Add nojava build profile to make building the Java bindings optional
(Closes: #948894).
* Remove erroneous Multi-Arch: foreign from libz3-java in debian/control
(see the discussion in #948894 for details).
* Refresh/update patches.
* Upgrade to Standards-Version 4.5.0 (no changes).
* Forward patches to upstream.
-- Fabian Wolff <fabi.wolff@arcor.de> Sat, 06 Jun 2020 16:32:57 +0200
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 <fabi.wolff@arcor.de> 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 <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).
-- Fabian Wolff <fabi.wolff@arcor.de> Fri, 10 Jan 2020 16:35:48 +0100
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 <fabi.wolff@arcor.de> 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 <fabi.wolff@arcor.de> 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 <fabi.wolff@arcor.de> Tue, 15 Oct 2019 00:29:22 +0200
z3 (4.8.6-1) unstable; urgency=medium
* New upstream release.
* Make watch file more robust (match (z3|Z3) instead of just z3).
* Add myself to Uploaders in debian/control.
* Drop the libz3-cil package (not all build dependencies are available
in Debian; also see the discussion in #886590).
* Update/refresh patches.
* Drop python-z3 package and replace it with python3-z3
(Closes: #886590, #938876).
* Enable autopkgtest package testing and add several superficial and
non-superficial test cases.
* Add -fPIC to DEB_CXXFLAGS_MAINT_APPEND in an attempt to fix #940266.
* Try to make the build more reproducible.
-- Fabian Wolff <fabi.wolff@arcor.de> Sun, 29 Sep 2019 18:21:54 +0200
z3 (4.8.4-1) unstable; urgency=medium
[ Gianfranco Costamagna ]
* Team upload.
* Honour nocheck option to not run testsuite
[ Fabian Wolff ]
* New upstream release (Closes: #909494).
* Add debian/gbp.conf.
* Update and reorganize patches.
* Upgrade to debhelper compat level 12.
* Upgrade to Standards-Version 4.4.0 (no changes).
* Remove trailing whitespace from debian/control.
* Build-Depend on libnum-ocaml-dev (Closes: #934048).
-- Fabian Wolff <fabi.wolff@arcor.de> Tue, 27 Aug 2019 14:30:11 +0200
z3 (4.4.1-1) unstable; urgency=medium
[ Gianfranco Costamagna ]
* Team Upload
* Upload to unstable
[ Andreas Beckmann ]
* Do not set the SONAME of libz3java.so to libz3.so.4. (Closes: #842892)
-- Gianfranco Costamagna <locutusofborg@debian.org> Sat, 17 Aug 2019 11:05:53 +0200
# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog libz3-4`.
Generated by dwww version 1.15 on Sun May 19 04:05:26 CEST 2024.