Debian Patches

Status for coq-gappa/1.6.0-1

Patch Description Author Forwarded Bugs Origin Last update
coq8.20.patch no

All known versions for source package 'coq-gappa'

Links