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

  * New upstream release.

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

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

  * New upstream release.

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

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

  * New upstream release.
  * Copy CP profiler integration files from
    https://gitlab.com/minizinc/cp-profiler-integration as a patch.

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

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

  * New upstream release

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

minizinc-ide (2.4.2-2) unstable; urgency=medium

  * Fix FTCBFS: Let dh_auto_configure use a cross qmake. (Closes: #949269)

 -- Kari Pahula <kaol@debian.org>  Sun, 19 Jan 2020 11:16:37 +0200

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

  * New upstream release

 -- Kari Pahula <kaol@debian.org>  Fri, 10 Jan 2020 14:38:32 +0200

minizinc-ide (2.4.1-1) experimental; urgency=medium

  * New upstream release
  * Standards-Version 4.4.1
    - Switch from cdbs to dh
  * Drop patch force-webkitwidgets and switch build dep to
    qtwebengine5-dev

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

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
