Subject: CVS commit: pkgsrc/lang/idris
From: Masatake Daimon
Date: 2023-01-27 04:06:29
Message id: 20230127030629.AEF72FA90@cvs.NetBSD.org
Log Message:
lang/idris: Fix build with GHC 9.4
Files:
RevisionActionfile
1.15modifypkgsrc/lang/idris/Makefile
1.4modifypkgsrc/lang/idris/PLIST
1.9modifypkgsrc/lang/idris/distinfo
1.4removepkgsrc/lang/idris/patches/patch-idris.cabal