Debian Patches
Status for coq-interval/4.11.1-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix_install.patch | fix the install target | Julien Puydt | not-needed |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix_install.patch | fix the install target | Julien Puydt | not-needed |