Subject: CVS commit: pkgsrc/lang/idris2
From: Masatake Daimon
Date: 2023-11-07 04:40:19
Message id: 20231107034019.AA6A0FA2D@cvs.NetBSD.org
Log Message:
lang/idris2: Add upstream URLs to patches
Files:
RevisionActionfile
1.2modifypkgsrc/lang/idris2/distinfo
1.2modifypkgsrc/lang/idris2/patches/patch-Makefile
1.2modifypkgsrc/lang/idris2/patches/patch-libs_base_Makefile
1.2modifypkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile
1.2modifypkgsrc/lang/idris2/patches/patch-libs_network_Makefile
1.2modifypkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile
1.2modifypkgsrc/lang/idris2/patches/patch-libs_test_Makefile
1.2modifypkgsrc/lang/idris2/patches/patch-src_Core_Context.idr
1.2modifypkgsrc/lang/idris2/patches/patch-src_Core_Options.idr
1.2modifypkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr
1.2modifypkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr
1.2modifypkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr
1.2modifypkgsrc/lang/idris2/patches/patch-support_c_Makefile
1.2modifypkgsrc/lang/idris2/patches/patch-support_chez_Makefile
1.2modifypkgsrc/lang/idris2/patches/patch-support_refc_Makefile