Debian Patches

Status for coq-interval/4.9.0-1

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

All known versions for source package 'coq-interval'

Links