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.

Debian packaging is held in Salsa git.  See debian/control for the
URL.  This package is not using git-buildpackage but only commits the
debian directory and the orig.tar.gz (with pristine-lfs).  To check
out upstream sources, use origtargz -u.

 -- Kari Pahula <kaol@debian.org>, Sat, 15 Feb 2025 12:03:35 +0200
