Index of /pub/NetBSD-CVS/pkgsrc/lang/idris2/patches/Attic/

../
patch-Makefile,v                                   03-May-2024 06:47                6643
patch-libs_base_Makefile,v                         03-May-2024 06:47                2569
patch-libs_contrib_Makefile,v                      03-May-2024 06:47                2599
patch-libs_linear_Makefile,v                       03-May-2024 06:47                2277
patch-libs_network_Makefile,v                      03-May-2024 06:47                2599
patch-libs_prelude_Makefile,v                      03-May-2024 06:47                2599
patch-libs_test_Makefile,v                         03-May-2024 06:47                2569
patch-src_Core_Context.idr,v                       03-May-2024 06:47                2650
patch-src_Core_Options.idr,v                       03-May-2024 06:47                3843
patch-src_Idris_CommandLine.idr,v                  03-May-2024 06:47                3004
patch-src_Idris_Package.idr,v                      03-May-2024 06:47                3344
patch-src_Idris_SetOptions.idr,v                   03-May-2024 06:47                2577
patch-support_c_Makefile,v                         03-May-2024 06:47                2983
patch-support_chez_Makefile,v                      03-May-2024 06:47                2625
patch-support_refc_Makefile,v                      03-May-2024 06:47                2597