[pkgsrc/trunk]: pkgsrc/doc doc: Updated lang/idris to 1.3.4

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/95949c44f132
branches:  trunk
changeset: 373618:95949c44f132
user:      pho <pho%pkgsrc.org@localhost>
date:      Sat Feb 12 07:13:45 2022 +0000

description:
doc: Updated lang/idris to 1.3.4

diffstat:

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

diffs (14 lines):

diff -r 01a1e7a36b76 -r 95949c44f132 doc/CHANGES-2022
--- a/doc/CHANGES-2022  Sat Feb 12 07:13:35 2022 +0000
+++ b/doc/CHANGES-2022  Sat Feb 12 07:13:45 2022 +0000
@@ -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 @@
        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]