Debian Patches
Status for coq-gappa/1.11.0-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| coq.patch | fix compilation with recent Coq/Rocq | Guillaume Melquiond | yes |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| coq.patch | fix compilation with recent Coq/Rocq | Guillaume Melquiond | yes |