Debian Patches
Status for coq-interval/4.11.4-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix_compilation.patch | fix compilation with recent Coq/Rocq | Julien Puydt | not-needed | |||
| mc2.6.0.patch | Description; fix compilation with mathcomp 2.6.0 | Julien Puydt (inspired by similar patches from Pierre Roux in other projects) | no | |||
| fix_install.patch | fix the install target | Julien Puydt | not-needed |