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

All known versions for source package 'coq-doc'

Links