Subject: CVS commit: pkgsrc/lang/idris2
From: Masatake Daimon
Date: 2024-05-03 08:47:20
Message id: 20240503064720.2692EFA2C@cvs.NetBSD.org
Log Message:
lang/idris2: Update to 0.7.0

Release notes are too long to paste here:
https://github.com/idris-lang/Idris2/blob/27780073c8631826d846499840b3857d9b9a4fd5/CHANGELOG.md
Files:
RevisionActionfile
1.2modifypkgsrc/lang/idris2/Makefile
1.2modifypkgsrc/lang/idris2/PLIST
1.3modifypkgsrc/lang/idris2/distinfo
1.2removepkgsrc/lang/idris2/patches/patch-Makefile
1.2removepkgsrc/lang/idris2/patches/patch-libs_base_Makefile
1.2removepkgsrc/lang/idris2/patches/patch-libs_contrib_Makefile
1.1removepkgsrc/lang/idris2/patches/patch-libs_linear_Makefile
1.2removepkgsrc/lang/idris2/patches/patch-libs_network_Makefile
1.2removepkgsrc/lang/idris2/patches/patch-libs_prelude_Makefile
1.2removepkgsrc/lang/idris2/patches/patch-libs_test_Makefile
1.2removepkgsrc/lang/idris2/patches/patch-src_Core_Context.idr
1.2removepkgsrc/lang/idris2/patches/patch-src_Core_Options.idr
1.2removepkgsrc/lang/idris2/patches/patch-src_Idris_CommandLine.idr
1.2removepkgsrc/lang/idris2/patches/patch-src_Idris_Package.idr
1.2removepkgsrc/lang/idris2/patches/patch-src_Idris_SetOptions.idr
1.2removepkgsrc/lang/idris2/patches/patch-support_c_Makefile
1.2removepkgsrc/lang/idris2/patches/patch-support_chez_Makefile
1.2removepkgsrc/lang/idris2/patches/patch-support_refc_Makefile