Debian Patches
Status for minizinc-ide/2.8.5-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| no-install-bin | =================================================================== | no | ||||
| disable-tests | =================================================================== | no |