Debian Patches
Status for coq-doc/9.2.0-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| dune3.24.patch | fix compilation with recent dune versions | Julien Puydt | not-needed |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| dune3.24.patch | fix compilation with recent dune versions | Julien Puydt | not-needed |