CVS commit: pkgsrc/lang

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

Module Name:    pkgsrc
Committed By:   pho
Date:           Mon Nov  6 17:18:09 UTC 2023

Modified Files:
        pkgsrc/lang: Makefile

Log Message:
lang/Makefile: + idris2


To generate a diff of this commit:
cvs rdiff -u -r1.708 -r1.709 pkgsrc/lang/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/Makefile
diff -u pkgsrc/lang/Makefile:1.708 pkgsrc/lang/Makefile:1.709
--- pkgsrc/lang/Makefile:1.708  Mon Nov  6 17:16:15 2023
+++ pkgsrc/lang/Makefile        Mon Nov  6 17:18:09 2023
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.708 2023/11/06 17:16:15 pho Exp $
+# $NetBSD: Makefile,v 1.709 2023/11/06 17:18:09 pho Exp $
 #
 
 COMMENT=       Programming languages
@@ -137,6 +137,7 @@ SUBDIR+=    hs-sourcemap
 SUBDIR+=       hugs
 SUBDIR+=       icon
 SUBDIR+=       idris
+SUBDIR+=       idris2
 SUBDIR+=       inform
 SUBDIR+=       intercal
 SUBDIR+=       ja-gawk