Debian Patches
Status for coq-interval/4.6.1-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix_install.patch | fix the install target | Julien Puydt | invalid |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix_install.patch | fix the install target | Julien Puydt | invalid |