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

• Parent Directory
• patch-Makefile,v
• patch-libs_base_Makefile,v
• patch-libs_contrib_Makefile,v
• patch-libs_linear_Makefile,v
• patch-libs_network_Makefile,v
• patch-libs_prelude_Makefile,v
• patch-libs_test_Makefile,v
• patch-src_Core_Context.idr,v
• patch-src_Core_Options.idr,v
• patch-src_Idris_CommandLine.idr,v
• patch-src_Idris_Package.idr,v
• patch-src_Idris_SetOptions.idr,v
• patch-support_c_Makefile,v
• patch-support_chez_Makefile,v
• patch-support_refc_Makefile,v