Index of /cvsroot/pkgsrc/lang/coq/patches

• Parent Directory
• Attic/
• patch-Makefile.install,v
• patch-Makefile.make,v
• patch-tools_configure_coqide.ml,v
• patch-tools_coqdoc_dune,v