restrict-installed-provers.patch
dont-install-mmm-mode.patch
fix-package-name-in-install-path.patch
dont-install-elc.patch
only-install-simplified-pg-script
debian-specific-site-init.patch
prepare-user-manual
install-examples.patch
transition_to_makeinfo.patch
fix-coqtags.patch
desktop-keyword-entry.patch
