minizinc (2.9.7+dfsg1-1) unstable; urgency=medium

  * New upstream release.

 -- Kari Pahula <kaol@debian.org>  Mon, 11 May 2026 06:15:09 +0300

minizinc (2.9.5+dfsg1-1) unstable; urgency=medium

  * New upstream release.
  * Standards-Version 4.7.3
  * Remove Priority field from debian/control

 -- Kari Pahula <kaol@debian.org>  Mon, 23 Feb 2026 21:57:15 +0200

minizinc (2.9.3+dfsg1-1) unstable; urgency=medium

  * New upstream release.
  * Standards-Version 4.7.2 (no changes necessary).
  * Add highs as another alternative flatzinc dependency.

 -- Kari Pahula <kaol@debian.org>  Mon, 11 Aug 2025 18:58:50 +0300

minizinc (2.9.2+dfsg1-1) unstable; urgency=medium

  * New upstream release.

 -- Kari Pahula <kaol@debian.org>  Thu, 06 Mar 2025 23:01:23 +0200

minizinc (2.9.0+dfsg1-1) unstable; urgency=medium

  * New upstream release.

 -- Kari Pahula <kaol@debian.org>  Sat, 15 Feb 2025 14:09:31 +0200

minizinc (2.8.7+dfsg1-1) unstable; urgency=medium

  * New upstream release.

 -- Kari Pahula <kaol@debian.org>  Wed, 09 Oct 2024 09:34:44 +0300

minizinc (2.8.6+dfsg1-1) unstable; urgency=medium

  * New upstream release.
  * Replace debian/compat file with B-D on debhelper-compat.

 -- Kari Pahula <kaol@debian.org>  Fri, 27 Sep 2024 20:04:18 +0300

minizinc (2.8.5+dfsg1-2) unstable; urgency=medium

  * Add missing build dep zlib1g-dev needed to enable COIN-BC solver
    support.

 -- Kari Pahula <kaol@debian.org>  Tue, 27 Aug 2024 15:44:14 +0300

minizinc (2.8.5+dfsg1-1) unstable; urgency=medium

  * New upstream release. (Closes: #1079024)
  * Build a release build.
  * Standards-Version 4.7.0 (no changes necessary).
  * Add Breaks on incompatible old (gecode) flatzinc package.

 -- Kari Pahula <kaol@debian.org>  Tue, 27 Aug 2024 07:04:43 +0300

minizinc (2.8.3+dfsg1-1) unstable; urgency=medium

  * New upstream release.
  * Add coinor-libcbc-dev as a build dep
  * Add chuffed-flatzinc and gecode-flatzinc (for future use) as
    alternative flatzinc dependencies
  * Remove solver_config alternatives patch
  * Read global Preferences.json from /var/lib/minizinc/ and update it
    with a dpkg trigger on /usr/share/minizinc/solvers/
  * Add postinst script for updating Preferences.json on trigger/install
    and prerm to remove it on remove
  * Add jq and python3-demjson (for jsonlint) as deps for use by the
    maintainer script

 -- Kari Pahula <kaol@debian.org>  Fri, 29 Mar 2024 17:59:39 +0200

minizinc (2.8.2+dfsg1-1) unstable; urgency=medium

  * New upstream release.
  * Standards-Version 4.6.2 (no changes necessary)
  * Depend on either Gecode's flatzinc or ortools-flatzinc.
  * Patch solver_config to try out alternate system-wide default solvers.
  * Install examples from tests to /usr/share/doc/minizinc/examples/.
  * Patch source code to not use __DATE__ and __TIME__ to fix incorrect
    copyright statement and to help reproducible builds.

 -- Kari Pahula <kaol@debian.org>  Mon, 01 Jan 2024 14:30:15 +0200

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog minizinc`.
