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