Subject: CVS commit: pkgsrc/lang/idris
From: Masatake Daimon
Date: 2022-02-12 08:13:35
Message id: 20220212071335.6DA44FB24@cvs.NetBSD.org
Log Message:
Update to idris-1.3.4

New in 1.3.4
    Renamed 'forall' function for compability with future GHC releases
    Updated version bounds
    Bugfixes
Files:
RevisionActionfile
1.8modifypkgsrc/lang/idris/Makefile
1.4modifypkgsrc/lang/idris/buildlink3.mk
1.6modifypkgsrc/lang/idris/distinfo
1.3modifypkgsrc/lang/idris/patches/patch-idris.cabal
1.1removepkgsrc/lang/idris/patches/patch-src_Idris_Output.hs
1.2removepkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs
1.1removepkgsrc/lang/idris/patches/patch-src_Idris_REPL.hs