Debian Patches
Status for minisat+/1.0-5
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| spelling | fix a spelling error in help text =================================================================== |
Ralf Treinen <treinen@debian.org> | no | |||
| exitcode | use exitcode to indicate error =================================================================== |
Niklas Sorensson <nik@chalmers.se> (extracted from upstream git) | no |