Debian Patches

Status for paramcoq/1.1.3+coq8.19-2

Patch Description Author Forwarded Bugs Origin Last update
fix_typo.patch fix a typo Julien Puydt yes

All known versions for source package 'paramcoq'

Links