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

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

  * New upstream release. (Closes: #1012997)

 -- Kari Pahula <kaol@debian.org>  Sat, 23 Jul 2022 02:30:33 +0300

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

  * New upstream release
  * Standards-Version 4.6.1 (no changes necessary)
  * Remove unused build deps latexmk, texlive-latex-recommended

 -- Kari Pahula <kaol@debian.org>  Sun, 29 May 2022 17:01:59 +0300

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

  * New upstream release.

 -- Kari Pahula <kaol@debian.org>  Wed, 09 Dec 2020 20:02:58 +0200

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

  * New upstream release.
  * Repackaged source to remove documentation licensed under CC BY-ND.

 -- Kari Pahula <kaol@debian.org>  Sun, 15 Nov 2020 16:27:23 +0200

minizinc (2.5.1-1) unstable; urgency=medium

  * New upstream release.
  * Remove Bison patches.

 -- Kari Pahula <kaol@debian.org>  Thu, 22 Oct 2020 19:25:30 +0300

minizinc (2.4.3-3) unstable; urgency=medium

  * Symlink parser.tab.hh and regex_parser.tab.hh in build dir root to
    make Bison 3.7 generated parser.tab.cpp and regex_parser.tab.cpp
    happy.  (Closes: #966905)
  * Disambiguate file glob in debian/copyright.

 -- Kari Pahula <kaol@debian.org>  Sat, 08 Aug 2020 23:13:21 +0300

minizinc (2.4.3-2) unstable; urgency=medium

  * Protect "Current" in YYLLOC_DEFAULT macro with parentheses in
    lib/parser.y to build with new Bison (Closes: #960404)
  * Standards-Version 4.5.0 and dh compat 13 (no changes necessary)

 -- Kari Pahula <kaol@debian.org>  Wed, 13 May 2020 12:59:18 +0300

minizinc (2.4.3-1) unstable; urgency=medium

  * New upstream release

 -- Kari Pahula <kaol@debian.org>  Thu, 02 Apr 2020 20:17:27 +0300

minizinc (2.4.2-1) unstable; urgency=medium

  * New upstream release (Closes: #923525)

 -- Kari Pahula <kaol@debian.org>  Fri, 10 Jan 2020 13:53:50 +0200

minizinc (2.4.1-1) experimental; urgency=medium

  * New upstream release
  * Standards-Version 4.4.1
    - Switch build system to dh
  * Use USE_GECODE build flag and add libgecode-dev as a build dep
  * Remove no longer used debian/patches

 -- Kari Pahula <kaol@debian.org>  Wed, 01 Jan 2020 12:43:20 +0200

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

  * New upstream release
  * Standards-Version 4.1.3
    - Set Priority: optional.

 -- Kari Pahula <kaol@debian.org>  Tue, 23 Jan 2018 18:20:32 +0200

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

  * New upstream release
    - Upstream provides now mzn-fzn binary which takes the role of
      minizinc binary in 1.6 release.  (Closes: #830973)
  * Standards-Version 4.0.0 (no changes necessary).
  * Add generated files lib/cached/{parser.tab.cpp,lexer.yy.cpp} to
    debian/clean.
  * Add debian/watch file. (Closes: #866212)
  * Rework the patch on CMakeLists.txt to make fewer changes to it and fix
    more errant files in debian/rules instead.
  * Stop linking /usr/share/minizinc/gecode to gecode's mznlib directory
    as the definitons there turn out to not be compatible.
  * Drop Enhances: flatzinc from minizinc.

 -- Kari Pahula <kaol@debian.org>  Tue, 18 Jul 2017 22:46:10 +0300

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

  * New upstream release
    - Include cmath where needed. (Closes: #830457)
  * Bump standards-version to 3.9.8 (no changes necessary).

 -- Kari Pahula <kaol@debian.org>  Sun, 28 Aug 2016 18:44:29 +0300

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

  * New upstream release

 -- Kari Pahula <kaol@debian.org>  Thu, 07 Apr 2016 21:12:57 +0300

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

  * New upstream release

 -- Kari Pahula <kaol@debian.org>  Sun, 17 Jan 2016 17:54:50 +0200

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

  * New upstream release
  * Build html documentation.
  * Build pdf spec documentation and add mklatex and
    texlive-latex-recommended as build deps.
  * Add minizinc.doc-base.
  * Changes to patch install-cleanups to adjust install directories.

 -- Kari Pahula <kaol@debian.org>  Sat, 02 Jan 2016 20:44:57 +0200

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

  * New upstream release

 -- Kari Pahula <kaol@debian.org>  Sun, 25 Oct 2015 11:10:18 +0200

minizinc (2.0.5+dfsg1-1) experimental; urgency=low

  * Initial release (Closes: #791608)

 -- Kari Pahula <kaol@debian.org>  Mon, 03 Aug 2015 10:08:56 +0300
