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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/6f11b5f99fca
branches:  trunk
changeset: 451297:6f11b5f99fca
user:      pho <pho%pkgsrc.org@localhost>
date:      Sun Apr 25 11:39:28 2021 +0000

description:
doc: Updated lang/idris to 1.3.3

diffstat:

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

diffs (14 lines):

diff -r cc0f08e2484a -r 6f11b5f99fca doc/CHANGES-2021
--- a/doc/CHANGES-2021  Sun Apr 25 11:39:03 2021 +0000
+++ b/doc/CHANGES-2021  Sun Apr 25 11:39:28 2021 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2021,v 1.2334 2021/04/25 10:51:12 nia Exp $
+$NetBSD: CHANGES-2021,v 1.2335 2021/04/25 11:39:28 pho Exp $
 
 Changes to the packages collection and infrastructure in 2021:
 
@@ -3672,3 +3672,4 @@
        Updated databases/postgresql-timescaledb to 2.2.0 [tnn 2021-04-25]
        Updated databases/promscale to 0.3.0 [tnn 2021-04-25]
        Updated lang/rust-bin to 1.50.0 [nia 2021-04-25]
+       Updated lang/idris to 1.3.3 [pho 2021-04-25]