Debian Patches
Status for coq-doc/8.20.0-2
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix_recent_python.patch | fix deprecation in Python code | Julien Puydt <jpuydt@debian.org> | yes |
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| fix_recent_python.patch | fix deprecation in Python code | Julien Puydt <jpuydt@debian.org> | yes |