Subject: CVS commit: pkgsrc/lang/idris2
From: Masatake Daimon
Date: 2024-05-03 08:47:52
Message id: 20240503064752.ADEB3FA2C@cvs.NetBSD.org
Log Message:
lang/idris2: Forgot to regen distinfo
Files:
RevisionActionfile
1.4modifypkgsrc/lang/idris2/distinfo