CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   pho
Date:           Sat Feb 12 07:13:45 UTC 2022

Modified Files:
        pkgsrc/doc: CHANGES-2022

Log Message:
doc: Updated lang/idris to 1.3.4


To generate a diff of this commit:
cvs rdiff -u -r1.806 -r1.807 pkgsrc/doc/CHANGES-2022

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-2022
diff -u pkgsrc/doc/CHANGES-2022:1.806 pkgsrc/doc/CHANGES-2022:1.807
--- pkgsrc/doc/CHANGES-2022:1.806       Sat Feb 12 07:12:07 2022
+++ pkgsrc/doc/CHANGES-2022     Sat Feb 12 07:13:45 2022
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2022,v 1.806 2022/02/12 07:12:07 pho Exp $
+$NetBSD: CHANGES-2022,v 1.807 2022/02/12 07:13:45 pho Exp $
 
 Changes to the packages collection and infrastructure in 2022:
 
@@ -1067,3 +1067,4 @@ Changes to the packages collection and i
        Added devel/hs-unliftio version 0.2.21.0 [pho 2022-02-12]
        Updated www/hs-warp to 3.3.19 [pho 2022-02-12]
        Updated www/hs-wai-logger to 2.4.0 [pho 2022-02-12]
+       Updated lang/idris to 1.3.4 [pho 2022-02-12]