Subject: CVS commit: pkgsrc/lang/idris
From: Masatake Daimon
Date: 2025-02-01 14:07:15
Message id: 20250201130715.55944FBE0@cvs.NetBSD.org
Log Message:
lang/idris: Fix build with GHC 9.10
Files:
RevisionActionfile
1.24modifypkgsrc/lang/idris/Makefile