Debian Patches
Status for coqprime/8.20.1-5
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| rocq9.2.patch | make compilation possible with Coq/Rocq 9.2 | Julien Puydt | not-needed |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| rocq9.2.patch | make compilation possible with Coq/Rocq 9.2 | Julien Puydt | not-needed |