Debian Patches

Status for coq-mtac2/1.4+8.19-2

Patch Description Author Forwarded Bugs Origin Last update
fix_configure.sh.patch make configure.sh usable for Debian Julien Puydt invalid

All known versions for source package 'coq-mtac2'

Links