Debian Patches

Status for minizinc-ide/2.8.2-1

Patch Description Author Forwarded Bugs Origin Last update
no-install-bin =================================================================== no
missing-cpp-integration These files are copied over from

The repository doesn't have an explicit license assigned to it but it
is assumed to be under same license as the rest of minizinc.
disable-tests =================================================================== no

All known versions for source package 'minizinc-ide'