CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   pho
Date:           Fri May  3 06:48:02 UTC 2024

Modified Files:
        pkgsrc/doc: CHANGES-2024

Log Message:
doc: Updated lang/idris2 to 0.7.0


To generate a diff of this commit:
cvs rdiff -u -r1.3039 -r1.3040 pkgsrc/doc/CHANGES-2024

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-2024
diff -u pkgsrc/doc/CHANGES-2024:1.3039 pkgsrc/doc/CHANGES-2024:1.3040
--- pkgsrc/doc/CHANGES-2024:1.3039      Fri May  3 06:30:19 2024
+++ pkgsrc/doc/CHANGES-2024     Fri May  3 06:48:02 2024
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2024,v 1.3039 2024/05/03 06:30:19 jperkin Exp $
+$NetBSD: CHANGES-2024,v 1.3040 2024/05/03 06:48:02 pho Exp $
 
 Changes to the packages collection and infrastructure in 2024:
 
@@ -4882,3 +4882,4 @@ Changes to the packages collection and i
        Updated graphics/quesoglc to 0.7.1nb15 [triaxx 2024-05-02]
        Updated devel/hs-th-abstraction to 0.7.0.0 [wiz 2024-05-02]
        Updated security/pinentry to 1.3.0nb1 [jperkin 2024-05-03]
+       Updated lang/idris2 to 0.7.0 [pho 2024-05-03]