minizinc for Debian
----------------------

The upstream source tarball was repackaged to remove a couple of pdf
files from the documentation and tests with unclear license status.

 -- Kari Pahula <kaol@debian.org>, Tue, 14 Jul 2015 21:34:30 +0300

