[pkgsrc/trunk]: pkgsrc/doc doc: Added lang/idris version 1.3.2

[pho <pho%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/6d4d1e406d31
branches:  trunk
changeset: 422128:6d4d1e406d31
user:      pho <pho%pkgsrc.org@localhost>
date:      Mon Jan 20 23:32:47 2020 +0000

description:
doc: Added lang/idris version 1.3.2

diffstat:

 doc/CHANGES-2020 |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (14 lines):

diff -r c0c3a5e3cd79 -r 6d4d1e406d31 doc/CHANGES-2020
--- a/doc/CHANGES-2020  Mon Jan 20 23:32:38 2020 +0000
+++ b/doc/CHANGES-2020  Mon Jan 20 23:32:47 2020 +0000
@@ -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 @@
        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]