Subject: CVS commit: pkgsrc/lang/idris
From: Masatake Daimon
Date: 2024-05-03 09:36:41
Message id: 20240503073641.55999FA2C@cvs.NetBSD.org
Log Message:
lang/idris (DESCR): Recommend migrating to lang/idris2
Files:
RevisionActionfile
1.2modifypkgsrc/lang/idris/DESCR
1.22modifypkgsrc/lang/idris/Makefile