Subject: CVS commit: pkgsrc/lang/idris
From: Masatake Daimon
Date: 2023-10-30 17:23:12
Message id: 20231030162312.5DC5CFADC@cvs.NetBSD.org

Log Message:
lang/idris: comment

Files:
RevisionActionfile
1.19modifypkgsrc/lang/idris/Makefile