Debian Patches

Status for coq-gappa/1.5.2-5

Patch Description Author Forwarded Bugs Origin Last update
coq_8.16.patch fix for Coq 8.16 Julien Puydt invalid

All known versions for source package 'coq-gappa'

Links