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

The upstream source tarball was repackaged to remove docs directory
which had contents under the non-DFSG free CC BY-ND license.

 -- Kari Pahula <kaol@debian.org>, Sun, 15 Nov 2020 13:43:45 +0200

