Subject: CVS commit: pkgsrc/lang/idris
From: Masatake Daimon
Date: 2023-10-30 16:39:57
Message id: 20231030153957.AA170FADC@cvs.NetBSD.org
Log Message:
lang/idris: Fix build with GHC 9.6
Files:
RevisionActionfile
1.18modifypkgsrc/lang/idris/Makefile
1.5modifypkgsrc/lang/idris/PLIST
1.10modifypkgsrc/lang/idris/distinfo
1.2modifypkgsrc/lang/idris/patches/patch-src_Idris_Package_Parser.hs
1.1addpkgsrc/lang/idris/patches/patch-src_IRTS_Compiler.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_AbsSyntax.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Core_Constraints.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Core_Elaborate.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Core_Evaluate.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Core_ProofState.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Core_ProofTerm.hs
1.3addpkgsrc/lang/idris/patches/patch-src_Idris_Core_TT.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Core_Typecheck.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Coverage.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_DSL.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Erasure.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Imports.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_PartialEval.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Prover.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Termination.hs