-
minizinc (2.0.11+dfsg1-1) unstable; urgency=medium
* New upstream release
-- Kari Pahula <email address hidden> 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 <email address hidden> Sat, 02 Jan 2016 20:44:57 +0200
-
minizinc (2.0.8+dfsg1-1) unstable; urgency=medium
* New upstream release
-- Kari Pahula <email address hidden> Sun, 25 Oct 2015 11:10:18 +0200