Debian Patches
Status for minizinc-ide/2.6.3-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| no-install-bin | =================================================================== | no | ||||
| missing-cpp-integration | These files are copied over from https://gitlab.com/minizinc/cp-profiler-integration 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. =================================================================== |
no | ||||
| disable-tests | =================================================================== | no |