Debian Patches
Status for psmt2-frontend/0.4.0-4
Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
fix_typo.patch | fix a typo | J.Puydt | yes |
Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
fix_typo.patch | fix a typo | J.Puydt | yes |