minizinc (2.1.7+dfsg1-1) unstable; urgency=medium * New upstream release * Standards-Version 4.1.3 - Set Priority: optional. -- Kari Pahula 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 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 Sun, 28 Aug 2016 18:44:29 +0300 minizinc (2.0.13+dfsg1-1) unstable; urgency=medium * New upstream release -- Kari Pahula Thu, 07 Apr 2016 21:12:57 +0300 minizinc (2.0.11+dfsg1-1) unstable; urgency=medium * New upstream release -- Kari Pahula 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 Sat, 02 Jan 2016 20:44:57 +0200 minizinc (2.0.8+dfsg1-1) unstable; urgency=medium * New upstream release -- Kari Pahula Sun, 25 Oct 2015 11:10:18 +0200 minizinc (2.0.5+dfsg1-1) experimental; urgency=low * Initial release (Closes: #791608) -- Kari Pahula Mon, 03 Aug 2015 10:08:56 +0300