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 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 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 Mon, 29 Aug 2016 20:00:37 +0300 minizinc-ide (2.0.13-1) unstable; urgency=medium * New upstream release -- Kari Pahula Thu, 07 Apr 2016 21:19:20 +0300 minizinc-ide (2.0.10-1) unstable; urgency=medium * New upstream release -- Kari Pahula 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 Sun, 25 Oct 2015 16:33:29 +0200 minizinc-ide (0.9.9-1) experimental; urgency=low * Initial release (Closes: #793733) -- Kari Pahula Mon, 03 Aug 2015 10:08:58 +0300