pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: pkgsrc/lang/idris

Module Name:    pkgsrc
Committed By:   pho
Date:           Fri Jan 27 03:06:29 UTC 2023

Modified Files:
        pkgsrc/lang/idris: Makefile PLIST distinfo
Removed Files:
        pkgsrc/lang/idris/patches: patch-idris.cabal

Log Message:
lang/idris: Fix build with GHC 9.4


To generate a diff of this commit:
cvs rdiff -u -r1.14 -r1.15 pkgsrc/lang/idris/Makefile
cvs rdiff -u -r1.3 -r1.4 pkgsrc/lang/idris/PLIST
cvs rdiff -u -r1.8 -r1.9 pkgsrc/lang/idris/distinfo
cvs rdiff -u -r1.4 -r0 pkgsrc/lang/idris/patches/patch-idris.cabal

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.


Modified files:

Index: pkgsrc/lang/idris/Makefile
diff -u pkgsrc/lang/idris/Makefile:1.14 pkgsrc/lang/idris/Makefile:1.15
--- pkgsrc/lang/idris/Makefile:1.14     Wed Sep  7 06:50:53 2022
+++ pkgsrc/lang/idris/Makefile  Fri Jan 27 03:06:29 2023
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.14 2022/09/07 06:50:53 pho Exp $
+# $NetBSD: Makefile,v 1.15 2023/01/27 03:06:29 pho Exp $
 
 DISTNAME=      idris-1.3.4
 PKGNAME=       ${DISTNAME}
@@ -9,6 +9,19 @@ MAINTAINER=    pho%cielonegro.org@localhost
 COMMENT=       Functional Programming Language with Dependent Types
 LICENSE=       modified-bsd
 
+# Idris 1 is no longer maintained actively. We should consider packaging
+# Idris 2, which is much harder to package due to the way how it's
+# built: https://github.com/idris-lang/Idris2
+HASKELL_UNRESTRICT_DEPENDENCIES+=      \
+       aeson   \
+       bytestring      \
+       fsnotify        \
+       libffi  \
+       network \
+       optparse-applicative    \
+       text    \
+       vector
+
 CONFIGURE_ARGS+=       -f release
 
 # ${WRKSRC}/Setup.hs has a postBuild hook that invokes gmake to build

Index: pkgsrc/lang/idris/PLIST
diff -u pkgsrc/lang/idris/PLIST:1.3 pkgsrc/lang/idris/PLIST:1.4
--- pkgsrc/lang/idris/PLIST:1.3 Sat Feb 26 08:07:37 2022
+++ pkgsrc/lang/idris/PLIST     Fri Jan 27 03:06:29 2023
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.3 2022/02/26 08:07:37 pho Exp $
+@comment $NetBSD: PLIST,v 1.4 2023/01/27 03:06:29 pho Exp $
 bin/idris
 bin/idris-codegen-c
 bin/idris-codegen-javascript
@@ -122,203 +122,203 @@ lib/${HS_PLATFORM}/${HS_PKGID}/Util/Syst
 lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.hi
 lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
 man/man1/idris.1
-share/doc/${HS_PLATFORM}/${PKGNAME}/LICENSE
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/CHANGELOG.md
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/CITATION.md
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/CONTRIBUTING.md
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/CONTRIBUTORS
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Bytecode.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenC.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenCommon.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenJavaScript.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Compiler.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Defunctionalise.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-DumpBC.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Exports.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Inliner.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-AST.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-Codegen.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-LangTransforms.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-Name.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-PrimOp.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-Specialize.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Lang.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-LangOpts.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Portable.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Simplified.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-System.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-ASTUtils.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-AbsSyntax.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-AbsSyntaxTree.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Apropos.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-CaseSplit.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Chaser.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-CmdOptions.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Colours.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Completion.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Binary.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-CaseTree.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Constraints.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-DeepSeq.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Elaborate.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Evaluate.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Execute.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-ProofState.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-ProofTerm.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-TT.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Typecheck.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Unify.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-WHNF.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Coverage.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-DSL.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-DataOpts.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-DeepSeq.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Delaborate.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Directives.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Docs.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Docstrings.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-AsPat.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Clause.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Data.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Implementation.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Interface.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Provider.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Quasiquote.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Record.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Rewrite.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-RunElab.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Term.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Transform.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Type.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Utils.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Value.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-ElabDecls.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Erasure.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-ErrReverse.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Error.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Help.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-IBC.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-IdeMode.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-IdrisDoc.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Imports.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Info-Show.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Info.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Inliner.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Interactive.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Main.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-ModeCommon.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Options.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Output.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Package-Common.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Package-Parser.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Package.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser-Data.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser-Expr.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser-Helpers.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser-Ops.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser-Stack.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-PartialEval.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Primitives.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-ProofSearch.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Prover.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Providers.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-REPL-Browse.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-REPL-Commands.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-REPL-Parser.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-REPL.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Reflection.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Termination.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Transforms.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-TypeSearch.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Unlit.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-WhoCalls.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/README.md
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/RELEASE-CHECKS.md
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Util-DynamicLinker.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Util-ScreenSize.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/Util-System.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-95.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-A.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-All.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-B.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-C.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-D.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-E.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-F.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-G.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-H.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-I.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-J.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-K.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-L.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-M.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-N.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-O.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-P.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-Q.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-R.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-S.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-T.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-U.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-V.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-W.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-Z.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/haddock-bundle.min.js
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/idris-tutorial.pdf
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/idris.haddock
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/index.html
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/linuwial.css
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/man/idris.1
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/meta.json
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/quick-jump.css
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Composite.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Graphics/Draw.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Graphics/Turtle.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Intro.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Login.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/LoginCount.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Net/EchoSimple.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Net/Network.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Net/RandServer.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Net/Threads.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/TreeTag.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/ConsoleIO.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/Exception.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/Random.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/ReadInt.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/Select.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/TreeTag-noeff.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/TreeTag.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/TreeTagCount.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/hworld.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/vadd.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/binary.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/interp-alt.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/interp.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/javaffi.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/named_implementation.lidr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/reflection.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/BMain.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/BTree.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/BTreeMod.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Foo.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Hello.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Idiom.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Interfaces.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Interp.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/LetBind.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Prims.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Record.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Theorems.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Universe.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/UsefulTypes.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/VBroken.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Views.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/ViewsBroken.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Wheres.idr
-share/doc/${HS_PLATFORM}/${PKGNAME}/html/synopsis.png
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/LICENSE
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/CHANGELOG.md
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/CITATION.md
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/CONTRIBUTING.md
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/CONTRIBUTORS
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Bytecode.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenC.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenCommon.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-CodegenJavaScript.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Compiler.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Defunctionalise.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-DumpBC.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Exports.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Inliner.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-AST.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-Codegen.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-LangTransforms.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-Name.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-PrimOp.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-JavaScript-Specialize.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Lang.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-LangOpts.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Portable.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-Simplified.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/IRTS-System.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-ASTUtils.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-AbsSyntax.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-AbsSyntaxTree.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Apropos.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-CaseSplit.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Chaser.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-CmdOptions.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Colours.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Completion.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Binary.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-CaseTree.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Constraints.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-DeepSeq.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Elaborate.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Evaluate.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Execute.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-ProofState.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-ProofTerm.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-TT.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Typecheck.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-Unify.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Core-WHNF.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Coverage.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-DSL.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-DataOpts.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-DeepSeq.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Delaborate.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Directives.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Docs.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Docstrings.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-AsPat.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Clause.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Data.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Implementation.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Interface.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Provider.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Quasiquote.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Record.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Rewrite.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-RunElab.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Term.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Transform.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Type.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Utils.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Elab-Value.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-ElabDecls.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Erasure.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-ErrReverse.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Error.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Help.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-IBC.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-IdeMode.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-IdrisDoc.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Imports.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Info-Show.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Info.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Inliner.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Interactive.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Main.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-ModeCommon.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Options.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Output.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Package-Common.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Package-Parser.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Package.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser-Data.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser-Expr.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser-Helpers.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser-Ops.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser-Stack.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Parser.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-PartialEval.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Primitives.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-ProofSearch.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Prover.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Providers.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-REPL-Browse.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-REPL-Commands.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-REPL-Parser.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-REPL.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Reflection.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Termination.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Transforms.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-TypeSearch.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-Unlit.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Idris-WhoCalls.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/README.md
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/RELEASE-CHECKS.md
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Util-DynamicLinker.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Util-ScreenSize.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/Util-System.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-95.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-A.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-All.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-B.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-C.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-D.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-E.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-F.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-G.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-H.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-I.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-J.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-K.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-L.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-M.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-N.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-O.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-P.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-Q.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-R.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-S.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-T.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-U.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-V.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-W.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index-Z.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/doc-index.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/haddock-bundle.min.js
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/idris-tutorial.pdf
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/idris.haddock
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/index.html
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/linuwial.css
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/man/idris.1
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/meta.json
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/quick-jump.css
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Composite.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Graphics/Draw.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Graphics/Turtle.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Intro.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Login.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/LoginCount.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Net/EchoSimple.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Net/Network.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Net/RandServer.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/Net/Threads.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/ST/TreeTag.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/ConsoleIO.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/Exception.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/Random.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/ReadInt.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/Select.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/TreeTag-noeff.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/TreeTag.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/TreeTagCount.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/hworld.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/effects/vadd.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/binary.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/interp-alt.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/interp.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/javaffi.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/named_implementation.lidr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/misc/reflection.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/BMain.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/BTree.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/BTreeMod.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Foo.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Hello.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Idiom.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Interfaces.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Interp.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/LetBind.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Prims.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Record.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Theorems.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Universe.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/UsefulTypes.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/VBroken.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Views.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/ViewsBroken.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/samples/tutorial/Wheres.idr
+${PLIST.doc}share/doc/${HS_PLATFORM}/${PKGNAME}/html/synopsis.png
 share/${HS_PLATFORM}/${PKGNAME}/docs/base/IdrisDoc
 share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Control.Arrow.html
 share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Control.Catchable.html

Index: pkgsrc/lang/idris/distinfo
diff -u pkgsrc/lang/idris/distinfo:1.8 pkgsrc/lang/idris/distinfo:1.9
--- pkgsrc/lang/idris/distinfo:1.8      Mon Aug 29 14:07:37 2022
+++ pkgsrc/lang/idris/distinfo  Fri Jan 27 03:06:29 2023
@@ -1,10 +1,9 @@
-$NetBSD: distinfo,v 1.8 2022/08/29 14:07:37 wiz Exp $
+$NetBSD: distinfo,v 1.9 2023/01/27 03:06:29 pho Exp $
 
 BLAKE2s (idris-1.3.4.tar.gz) = 5ecd1bf45becb897e273e9890a3aa3293bdf591d85b17d3c67e4a7f5ab98ae95
 SHA512 (idris-1.3.4.tar.gz) = 362c0442e5a38fc67d24e4b33728bc251ee49d14be9faacbbe924da171ce462e613cf975f8c0756fc6c8254807e98adfccfc2a6966dc32813cbadb3f25521f7c
 Size (idris-1.3.4.tar.gz) = 1720240 bytes
 SHA1 (patch-Setup.hs) = 61ce92edfa6bbb8812c7888ce12fde979e85439b
-SHA1 (patch-idris.cabal) = cdf76fccf0ba8731fdebc125f97bfdb52d4bdf5c
 SHA1 (patch-rts_Makefile) = fe88269e184aa0d80e13723c9e4fe47aba68eb3e
 SHA1 (patch-rts_idris__net.c) = fcb226e8752c34661fc1a81fff11e41342c3e0f8
 SHA1 (patch-src_IRTS_System.hs) = 4451e03f4e9095fcac9e014eb7ad4b997d5e308d
Home | Main Index | Thread Index | Old Index