Index of /cvsroot/pkgsrc/lang/coq/patches/Attic/
../
patch-Makefile.build,v 24-Jan-2020 15:54 33454
patch-Makefile.common,v 21-Jun-2022 02:21 32290
patch-Makefile.install,v 24-Feb-2025 03:41 10780
patch-Makefile.make,v 24-Feb-2025 03:41 15037
patch-aa,v 02-Jul-2013 00:08 48709
patch-ab,v 02-Jul-2013 00:08 36300
patch-ac,v 02-Jul-2013 00:08 48545
patch-ad,v 02-Jul-2013 00:08 9190
patch-configure,v 13-May-2014 14:52 4428
patch-configure.ml,v 01-Jan-2020 21:27 13082
patch-ide_ideutils.ml,v 10-Jan-2018 16:26 1437
patch-ide_preferences.ml,v 02-Jul-2013 00:08 19419
patch-ide_utils_okey.ml,v 02-Jul-2013 00:08 19562
patch-kernel_univ.ml,v 25-Apr-2015 13:41 2083
patch-tools_configure_coqide.ml,v 24-Feb-2025 03:41 11088