minizinc-ide (2.8.5-1) unstable; urgency=medium * New upstream release. * Standards-Version 4.7.0 (no changes necessary) * Remove debian/patches/missing-cpp-integration since upstream's tarball includes it now. -- Kari Pahula Tue, 27 Aug 2024 07:09:08 +0300 minizinc-ide (2.8.2-1) unstable; urgency=medium * New upstream release. * Standards-Version 4.6.2 (no changes necessary) -- Kari Pahula Mon, 01 Jan 2024 14:41:18 +0200 minizinc-ide (2.6.3-1) unstable; urgency=medium * New upstream release. * Standards-Version 4.6.1 (no changes necessary) -- Kari Pahula Sun, 29 May 2022 18:48:06 +0300 minizinc-ide (2.5.3-1) unstable; urgency=medium * New upstream release. -- Kari Pahula Wed, 09 Dec 2020 20:04:30 +0200 minizinc-ide (2.5.2-1) unstable; urgency=medium * New upstream release. -- Kari Pahula 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 Thu, 22 Oct 2020 19:32:32 +0300 minizinc-ide (2.4.3-1) unstable; urgency=medium * New upstream release -- Kari Pahula 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 Sun, 19 Jan 2020 11:16:37 +0200 minizinc-ide (2.4.2-1) unstable; urgency=medium * New upstream release -- Kari Pahula 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 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