Debian Patches

Status for coq-interval/4.6.1-2

Patch Description Author Forwarded Bugs Origin Last update
fix_install.patch fix the install target Julien Puydt invalid

All known versions for source package 'coq-interval'

Links