Subject: CVS commit: pkgsrc/lang/idris
From: Masatake Daimon
Date: 2024-05-02 13:51:20
Message id: 20240502115120.C6318FA2C@cvs.NetBSD.org
Log Message:
lang/idris: Fix build with GHC 9.8

This breaks build with the currently default GHC 9.6. Please bear with me
until I switch the default compiler.
Files:
RevisionActionfile
1.21modifypkgsrc/lang/idris/Makefile
1.6modifypkgsrc/lang/idris/PLIST