Debian Patches
Status for coq-elpi/1.16.0-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| warning_69.patch | make warning 69 just a warning | Julien Puydt | yes | |||
| make_install.patch | fix the install target | Julien Puydt | invalid |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| warning_69.patch | make warning 69 just a warning | Julien Puydt | yes | |||
| make_install.patch | fix the install target | Julien Puydt | invalid |