CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   pho
Date:           Mon Jan 20 23:32:47 UTC 2020

Modified Files:
        pkgsrc/doc: CHANGES-2020

Log Message:
doc: Added lang/idris version 1.3.2


To generate a diff of this commit:
cvs rdiff -u -r1.688 -r1.689 pkgsrc/doc/CHANGES-2020

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-2020
diff -u pkgsrc/doc/CHANGES-2020:1.688 pkgsrc/doc/CHANGES-2020:1.689
--- pkgsrc/doc/CHANGES-2020:1.688       Mon Jan 20 21:58:15 2020
+++ pkgsrc/doc/CHANGES-2020     Mon Jan 20 23:32:47 2020
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2020,v 1.688 2020/01/20 21:58:15 nia Exp $
+$NetBSD: CHANGES-2020,v 1.689 2020/01/20 23:32:47 pho Exp $
 
 Changes to the packages collection and infrastructure in 2020:
 
@@ -789,3 +789,4 @@ Changes to the packages collection and i
        Removed lang/kaffe-esound [nia 2020-01-20]
        Removed emulators/cygwin_esound [nia 2020-01-20]
        Removed audio/esound [nia 2020-01-20]
+       Added lang/idris version 1.3.2 [pho 2020-01-20]