minizinc-ide (2.1.7-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:59 +0200

minizinc-ide (2.0.14-1) unstable; urgency=medium

  * New upstream release
  * Standards-Version 3.9.8 (no changes necessary).
  * Add patch force-webkitwidgets: Make MiniZincIDE/MiniZincIDE.pro to
    always use webkitwidgets instead of the missing webenginewidgets.
  * Add patch no-install-bin: Remove install target from
    MiniZincIDE/MiniZincIDE.pro to avoid install to /bin.

 -- Kari Pahula <kaol@debian.org>  Mon, 29 Aug 2016 20:00:37 +0300

minizinc-ide (2.0.13-1) unstable; urgency=medium

  * New upstream release

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

minizinc-ide (2.0.10-1) unstable; urgency=medium

  * New upstream release

 -- Kari Pahula <kaol@debian.org>  Sat, 02 Jan 2016 21:46:19 +0200

minizinc-ide (2.0.8-1) unstable; urgency=medium

  * New upstream release
  * Remove menu file and leave only desktop file.
  * Change desktop icon size to 128x128.

 -- Kari Pahula <kaol@debian.org>  Sun, 25 Oct 2015 16:33:29 +0200

minizinc-ide (0.9.9-1) experimental; urgency=low

  * Initial release (Closes: #793733)

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