Subject: CVS commit: pkgsrc/lang/idris
From: Masatake Daimon
Date: 2021-04-25 13:39:03
Message id: 20210425113903.CDD96FA95@cvs.NetBSD.org
Log Message:
Update to idris-1.3.3

* Updated to work with GHC 8.8 and cabal 3.0
* Bugfixes and documentation updates
Files:
RevisionActionfile
1.4modifypkgsrc/lang/idris/Makefile
1.2modifypkgsrc/lang/idris/PLIST
1.3modifypkgsrc/lang/idris/distinfo
1.3modifypkgsrc/lang/idris/patches/patch-Setup.hs
1.2modifypkgsrc/lang/idris/patches/patch-idris.cabal
1.2modifypkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_Output.hs
1.1addpkgsrc/lang/idris/patches/patch-src_Idris_REPL.hs
1.1removepkgsrc/lang/idris/patches/patch-src_Idris_CmdOptions.hs
1.1removepkgsrc/lang/idris/patches/patch-src_Idris_Core_CaseTree.hs
1.1removepkgsrc/lang/idris/patches/patch-src_Idris_Core_TT.hs