Debian Patches

Status for coq-elpi/1.16.0-2

Patch Description Author Forwarded Bugs Origin Last update
warning_69.patch make warning 69 just a warning Julien Puydt yes
make_install.patch fix the install target Julien Puydt invalid

All known versions for source package 'coq-elpi'

Links