Debian Patches
Status for coq-extructures/0.5.0-5
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| mc2.6.0.patch | fix compilation with mathcomp 2.6.0 | Julien Puydt (inspired by similar work of Pierre Roux) | yes |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| mc2.6.0.patch | fix compilation with mathcomp 2.6.0 | Julien Puydt (inspired by similar work of Pierre Roux) | yes |