minizinc (2.4.2-1build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <doko@ubuntu.com>  Tue, 24 Mar 2020 15:15:12 +0100

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
