CVS commit: pkgsrc/doc

["Masatake Daimon" <pho%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   pho
Date:           Mon Nov  6 17:17:58 UTC 2023

Modified Files:
        pkgsrc/doc: CHANGES-2023

Log Message:
doc: Added lang/idris2 version 0.6.0


To generate a diff of this commit:
cvs rdiff -u -r1.6705 -r1.6706 pkgsrc/doc/CHANGES-2023

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/doc/CHANGES-2023
diff -u pkgsrc/doc/CHANGES-2023:1.6705 pkgsrc/doc/CHANGES-2023:1.6706
--- pkgsrc/doc/CHANGES-2023:1.6705      Mon Nov  6 17:16:05 2023
+++ pkgsrc/doc/CHANGES-2023     Mon Nov  6 17:17:58 2023
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2023,v 1.6705 2023/11/06 17:16:05 pho Exp $
+$NetBSD: CHANGES-2023,v 1.6706 2023/11/06 17:17:58 pho Exp $
 
 Changes to the packages collection and infrastructure in 2023:
 
@@ -9703,3 +9703,4 @@ Changes to the packages collection and i
        Updated games/lgogdownloader to 3.12 [wiz 2023-11-06]
        Updated finance/rex to 0.1.13 [pin 2023-11-06]
        Added lang/chezscheme version 9.9.9alpha2023.11.03 [pho 2023-11-06]
+       Added lang/idris2 version 0.6.0 [pho 2023-11-06]