z3 (4.13.3-1build1) resolute; urgency=medium

  * No-change rebuild to restore i386 binaries.

 -- Matthias Klose <doko@ubuntu.com>  Sat, 08 Nov 2025 15:18:16 +0100

z3 (4.13.3-1) unstable; urgency=medium

  * Non-maintainer upload.
  * New upstream release

  [ Helmut Grohne ]
  * Improve cross building. (Closes: #1086731)
    + Multiarchify python3 dependency.
  * Add nopython build profile.
    + Conditionalize debhelper addons via Build-Depends.
    + Let debhelper conditionalize --link-doc based on profiles.
    + Unconditional python3-setuptools dependency needed even with <!nopython>.
  * Tighten libz3-java -> libz3-dev dependency for doc linking.

 -- Sylvestre Ledru <sylvestre@debian.org>  Mon, 04 Nov 2024 22:19:18 +0100

z3 (4.8.12-3.2) unstable; urgency=medium

  * Non-maintainer upload.
  * Fix FTBFS on mips64el (Closes: #1086725)
    Thanks to Adrian Bunk for the patch
  * Fix hurd-amd64 build (Closes: #1055476)
    Thanks to Samuel Thibault for the patch
  * Update standards version to 4.6.2, no changes needed.
    Avoid explicitly specifying -Wl,--as-needed linker flag.
  * Standards-Version: 4.7.0

 -- Sylvestre Ledru <sylvestre@debian.org>  Mon, 04 Nov 2024 20:47:25 +0100

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 z3`.
