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