Subject: CVS commit: pkgsrc/lang/purescript
From: Masatake Daimon
Date: 2023-10-31 08:38:56
Message id: 20231031073856.3A84AFADC@cvs.NetBSD.org
Log Message:
lang/purescript: Update to 0.15.12

The change log is too long to paste here. See
https://github.com/purescript/purescript/releases
Files:
RevisionActionfile
1.13modifypkgsrc/lang/purescript/Makefile
1.4modifypkgsrc/lang/purescript/PLIST
1.4modifypkgsrc/lang/purescript/distinfo
1.1addpkgsrc/lang/purescript/patches/patch-app_Command_Docs.hs
1.1addpkgsrc/lang/purescript/patches/patch-app_Command_Docs_Html.hs
1.1addpkgsrc/lang/purescript/patches/patch-src_Control_Monad_Supply.hs
1.1addpkgsrc/lang/purescript/patches/patch-src_Language_PureScript_Errors.hs
1.1addpkgsrc/lang/purescript/patches/patch-src_Language_PureScript_Renamer.hs
1.1addpkgsrc/lang/purescript/patches/patch-src_Language_PureScript_Sugar_Operators_Common.hs
1.1addpkgsrc/lang/purescript/patches/patch-src_Language_PureScript_TypeChecker_Entailment.hs
1.1addpkgsrc/lang/purescript/patches/patch-src_Language_PureScript_TypeChecker_Monad.hs