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

• Parent Directory
• patch-Makefile.build,v
• patch-Makefile.common,v
• patch-aa,v
• patch-ab,v
• patch-ac,v
• patch-ad,v
• patch-configure,v
• patch-configure.ml,v
• patch-ide_ideutils.ml,v
• patch-ide_preferences.ml,v
• patch-ide_utils_okey.ml,v
• patch-kernel_univ.ml,v