Debian Patches
Status for coq-math-classes/9.0.0-3
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| rocq9.2.patch | fix compilation with Coq/Rocq 9.2 | upstream | yes | |||
| drop_debian_directory.patch | the debian/ directory doesn't contain upstream sources! | Julien Puydt | invalid |