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: Sun Apr 25 11:39:03 UTC 2021
Modified Files:
pkgsrc/lang/idris: Makefile PLIST distinfo
pkgsrc/lang/idris/patches: patch-Setup.hs patch-idris.cabal
patch-src_Idris_Parser_Stack.hs
Added Files:
pkgsrc/lang/idris/patches: patch-src_Idris_Output.hs
patch-src_Idris_REPL.hs
Removed Files:
pkgsrc/lang/idris/patches: patch-src_Idris_CmdOptions.hs
patch-src_Idris_Core_CaseTree.hs patch-src_Idris_Core_TT.hs
Log Message:
Update to idris-1.3.3
* Updated to work with GHC 8.8 and cabal 3.0
* Bugfixes and documentation updates
To generate a diff of this commit:
cvs rdiff -u -r1.3 -r1.4 pkgsrc/lang/idris/Makefile
cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/idris/PLIST
cvs rdiff -u -r1.2 -r1.3 pkgsrc/lang/idris/distinfo
cvs rdiff -u -r1.2 -r1.3 pkgsrc/lang/idris/patches/patch-Setup.hs
cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/idris/patches/patch-idris.cabal \
pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs
cvs rdiff -u -r1.1 -r0 \
pkgsrc/lang/idris/patches/patch-src_Idris_CmdOptions.hs \
pkgsrc/lang/idris/patches/patch-src_Idris_Core_CaseTree.hs \
pkgsrc/lang/idris/patches/patch-src_Idris_Core_TT.hs
cvs rdiff -u -r0 -r1.1 pkgsrc/lang/idris/patches/patch-src_Idris_Output.hs \
pkgsrc/lang/idris/patches/patch-src_Idris_REPL.hs
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.3 pkgsrc/lang/idris/Makefile:1.4
--- pkgsrc/lang/idris/Makefile:1.3 Tue Oct 13 16:35:44 2020
+++ pkgsrc/lang/idris/Makefile Sun Apr 25 11:39:03 2021
@@ -1,8 +1,7 @@
-# $NetBSD: Makefile,v 1.3 2020/10/13 16:35:44 pho Exp $
+# $NetBSD: Makefile,v 1.4 2021/04/25 11:39:03 pho Exp $
-DISTNAME= idris-1.3.2
+DISTNAME= idris-1.3.3
PKGNAME= ${DISTNAME}
-PKGREVISION= 2
CATEGORIES= lang
MAINTAINER= pho%cielonegro.org@localhost
@@ -37,11 +36,6 @@ HASKELL_OPTIMIZATION_LEVEL= 1
# the resulting compiler way too slow.
MAKE_JOBS_SAFE= NO
-# bin/idris cannot survive PaX MPROTECT because of GHC rts not being
-# safe. We can hopefully get rid of this in the near future. See also
-# ../../lang/ghc88/Makefile
-NOT_PAX_MPROTECT_SAFE+= bin/idris
-
.include "options.mk"
.include "../../converters/hs-aeson/buildlink3.mk"
Index: pkgsrc/lang/idris/PLIST
diff -u pkgsrc/lang/idris/PLIST:1.1 pkgsrc/lang/idris/PLIST:1.2
--- pkgsrc/lang/idris/PLIST:1.1 Tue Oct 13 16:35:44 2020
+++ pkgsrc/lang/idris/PLIST Sun Apr 25 11:39:03 2021
@@ -1,544 +1,556 @@
-@comment $NetBSD: PLIST,v 1.1 2020/10/13 16:35:44 pho Exp $
+@comment $NetBSD: PLIST,v 1.2 2021/04/25 11:39:03 pho Exp $
bin/idris
bin/idris-codegen-c
bin/idris-codegen-javascript
bin/idris-codegen-node
-${HS_INTF}/package-description
-${HS_INTF}/package-id
-${HS_IMPL}/BuildFlags_idris.dyn_hi
-${HS_IMPL}/BuildFlags_idris.hi
-${HS_IMPL}/BuildFlags_idris.p_hi
-${HS_IMPL}/IRTS/Bytecode.dyn_hi
-${HS_IMPL}/IRTS/Bytecode.hi
-${HS_IMPL}/IRTS/Bytecode.p_hi
-${HS_IMPL}/IRTS/CodegenC.dyn_hi
-${HS_IMPL}/IRTS/CodegenC.hi
-${HS_IMPL}/IRTS/CodegenC.p_hi
-${HS_IMPL}/IRTS/CodegenCommon.dyn_hi
-${HS_IMPL}/IRTS/CodegenCommon.hi
-${HS_IMPL}/IRTS/CodegenCommon.p_hi
-${HS_IMPL}/IRTS/CodegenJavaScript.dyn_hi
-${HS_IMPL}/IRTS/CodegenJavaScript.hi
-${HS_IMPL}/IRTS/CodegenJavaScript.p_hi
-${HS_IMPL}/IRTS/Compiler.dyn_hi
-${HS_IMPL}/IRTS/Compiler.hi
-${HS_IMPL}/IRTS/Compiler.p_hi
-${HS_IMPL}/IRTS/Defunctionalise.dyn_hi
-${HS_IMPL}/IRTS/Defunctionalise.hi
-${HS_IMPL}/IRTS/Defunctionalise.p_hi
-${HS_IMPL}/IRTS/DumpBC.dyn_hi
-${HS_IMPL}/IRTS/DumpBC.hi
-${HS_IMPL}/IRTS/DumpBC.p_hi
-${HS_IMPL}/IRTS/Exports.dyn_hi
-${HS_IMPL}/IRTS/Exports.hi
-${HS_IMPL}/IRTS/Exports.p_hi
-${HS_IMPL}/IRTS/Inliner.dyn_hi
-${HS_IMPL}/IRTS/Inliner.hi
-${HS_IMPL}/IRTS/Inliner.p_hi
-${HS_IMPL}/IRTS/JavaScript/AST.dyn_hi
-${HS_IMPL}/IRTS/JavaScript/AST.hi
-${HS_IMPL}/IRTS/JavaScript/AST.p_hi
-${HS_IMPL}/IRTS/JavaScript/Codegen.dyn_hi
-${HS_IMPL}/IRTS/JavaScript/Codegen.hi
-${HS_IMPL}/IRTS/JavaScript/Codegen.p_hi
-${HS_IMPL}/IRTS/JavaScript/LangTransforms.dyn_hi
-${HS_IMPL}/IRTS/JavaScript/LangTransforms.hi
-${HS_IMPL}/IRTS/JavaScript/LangTransforms.p_hi
-${HS_IMPL}/IRTS/JavaScript/Name.dyn_hi
-${HS_IMPL}/IRTS/JavaScript/Name.hi
-${HS_IMPL}/IRTS/JavaScript/Name.p_hi
-${HS_IMPL}/IRTS/JavaScript/PrimOp.dyn_hi
-${HS_IMPL}/IRTS/JavaScript/PrimOp.hi
-${HS_IMPL}/IRTS/JavaScript/PrimOp.p_hi
-${HS_IMPL}/IRTS/JavaScript/Specialize.dyn_hi
-${HS_IMPL}/IRTS/JavaScript/Specialize.hi
-${HS_IMPL}/IRTS/JavaScript/Specialize.p_hi
-${HS_IMPL}/IRTS/Lang.dyn_hi
-${HS_IMPL}/IRTS/Lang.hi
-${HS_IMPL}/IRTS/Lang.p_hi
-${HS_IMPL}/IRTS/LangOpts.dyn_hi
-${HS_IMPL}/IRTS/LangOpts.hi
-${HS_IMPL}/IRTS/LangOpts.p_hi
-${HS_IMPL}/IRTS/Portable.dyn_hi
-${HS_IMPL}/IRTS/Portable.hi
-${HS_IMPL}/IRTS/Portable.p_hi
-${HS_IMPL}/IRTS/Simplified.dyn_hi
-${HS_IMPL}/IRTS/Simplified.hi
-${HS_IMPL}/IRTS/Simplified.p_hi
-${HS_IMPL}/IRTS/System.dyn_hi
-${HS_IMPL}/IRTS/System.hi
-${HS_IMPL}/IRTS/System.p_hi
-${HS_IMPL}/Idris/ASTUtils.dyn_hi
-${HS_IMPL}/Idris/ASTUtils.hi
-${HS_IMPL}/Idris/ASTUtils.p_hi
-${HS_IMPL}/Idris/AbsSyntax.dyn_hi
-${HS_IMPL}/Idris/AbsSyntax.hi
-${HS_IMPL}/Idris/AbsSyntax.p_hi
-${HS_IMPL}/Idris/AbsSyntaxTree.dyn_hi
-${HS_IMPL}/Idris/AbsSyntaxTree.hi
-${HS_IMPL}/Idris/AbsSyntaxTree.p_hi
-${HS_IMPL}/Idris/Apropos.dyn_hi
-${HS_IMPL}/Idris/Apropos.hi
-${HS_IMPL}/Idris/Apropos.p_hi
-${HS_IMPL}/Idris/CaseSplit.dyn_hi
-${HS_IMPL}/Idris/CaseSplit.hi
-${HS_IMPL}/Idris/CaseSplit.p_hi
-${HS_IMPL}/Idris/Chaser.dyn_hi
-${HS_IMPL}/Idris/Chaser.hi
-${HS_IMPL}/Idris/Chaser.p_hi
-${HS_IMPL}/Idris/CmdOptions.dyn_hi
-${HS_IMPL}/Idris/CmdOptions.hi
-${HS_IMPL}/Idris/CmdOptions.p_hi
-${HS_IMPL}/Idris/Colours.dyn_hi
-${HS_IMPL}/Idris/Colours.hi
-${HS_IMPL}/Idris/Colours.p_hi
-${HS_IMPL}/Idris/Completion.dyn_hi
-${HS_IMPL}/Idris/Completion.hi
-${HS_IMPL}/Idris/Completion.p_hi
-${HS_IMPL}/Idris/Core/Binary.dyn_hi
-${HS_IMPL}/Idris/Core/Binary.hi
-${HS_IMPL}/Idris/Core/Binary.p_hi
-${HS_IMPL}/Idris/Core/CaseTree.dyn_hi
-${HS_IMPL}/Idris/Core/CaseTree.hi
-${HS_IMPL}/Idris/Core/CaseTree.p_hi
-${HS_IMPL}/Idris/Core/Constraints.dyn_hi
-${HS_IMPL}/Idris/Core/Constraints.hi
-${HS_IMPL}/Idris/Core/Constraints.p_hi
-${HS_IMPL}/Idris/Core/DeepSeq.dyn_hi
-${HS_IMPL}/Idris/Core/DeepSeq.hi
-${HS_IMPL}/Idris/Core/DeepSeq.p_hi
-${HS_IMPL}/Idris/Core/Elaborate.dyn_hi
-${HS_IMPL}/Idris/Core/Elaborate.hi
-${HS_IMPL}/Idris/Core/Elaborate.p_hi
-${HS_IMPL}/Idris/Core/Evaluate.dyn_hi
-${HS_IMPL}/Idris/Core/Evaluate.hi
-${HS_IMPL}/Idris/Core/Evaluate.p_hi
-${HS_IMPL}/Idris/Core/Execute.dyn_hi
-${HS_IMPL}/Idris/Core/Execute.hi
-${HS_IMPL}/Idris/Core/Execute.p_hi
-${HS_IMPL}/Idris/Core/ProofState.dyn_hi
-${HS_IMPL}/Idris/Core/ProofState.hi
-${HS_IMPL}/Idris/Core/ProofState.p_hi
-${HS_IMPL}/Idris/Core/ProofTerm.dyn_hi
-${HS_IMPL}/Idris/Core/ProofTerm.hi
-${HS_IMPL}/Idris/Core/ProofTerm.p_hi
-${HS_IMPL}/Idris/Core/TT.dyn_hi
-${HS_IMPL}/Idris/Core/TT.hi
-${HS_IMPL}/Idris/Core/TT.p_hi
-${HS_IMPL}/Idris/Core/Typecheck.dyn_hi
-${HS_IMPL}/Idris/Core/Typecheck.hi
-${HS_IMPL}/Idris/Core/Typecheck.p_hi
-${HS_IMPL}/Idris/Core/Unify.dyn_hi
-${HS_IMPL}/Idris/Core/Unify.hi
-${HS_IMPL}/Idris/Core/Unify.p_hi
-${HS_IMPL}/Idris/Core/WHNF.dyn_hi
-${HS_IMPL}/Idris/Core/WHNF.hi
-${HS_IMPL}/Idris/Core/WHNF.p_hi
-${HS_IMPL}/Idris/Coverage.dyn_hi
-${HS_IMPL}/Idris/Coverage.hi
-${HS_IMPL}/Idris/Coverage.p_hi
-${HS_IMPL}/Idris/DSL.dyn_hi
-${HS_IMPL}/Idris/DSL.hi
-${HS_IMPL}/Idris/DSL.p_hi
-${HS_IMPL}/Idris/DataOpts.dyn_hi
-${HS_IMPL}/Idris/DataOpts.hi
-${HS_IMPL}/Idris/DataOpts.p_hi
-${HS_IMPL}/Idris/DeepSeq.dyn_hi
-${HS_IMPL}/Idris/DeepSeq.hi
-${HS_IMPL}/Idris/DeepSeq.p_hi
-${HS_IMPL}/Idris/Delaborate.dyn_hi
-${HS_IMPL}/Idris/Delaborate.hi
-${HS_IMPL}/Idris/Delaborate.p_hi
-${HS_IMPL}/Idris/Directives.dyn_hi
-${HS_IMPL}/Idris/Directives.hi
-${HS_IMPL}/Idris/Directives.p_hi
-${HS_IMPL}/Idris/Docs.dyn_hi
-${HS_IMPL}/Idris/Docs.hi
-${HS_IMPL}/Idris/Docs.p_hi
-${HS_IMPL}/Idris/Docstrings.dyn_hi
-${HS_IMPL}/Idris/Docstrings.hi
-${HS_IMPL}/Idris/Docstrings.p_hi
-${HS_IMPL}/Idris/Elab/AsPat.dyn_hi
-${HS_IMPL}/Idris/Elab/AsPat.hi
-${HS_IMPL}/Idris/Elab/AsPat.p_hi
-${HS_IMPL}/Idris/Elab/Clause.dyn_hi
-${HS_IMPL}/Idris/Elab/Clause.hi
-${HS_IMPL}/Idris/Elab/Clause.p_hi
-${HS_IMPL}/Idris/Elab/Data.dyn_hi
-${HS_IMPL}/Idris/Elab/Data.hi
-${HS_IMPL}/Idris/Elab/Data.p_hi
-${HS_IMPL}/Idris/Elab/Implementation.dyn_hi
-${HS_IMPL}/Idris/Elab/Implementation.hi
-${HS_IMPL}/Idris/Elab/Implementation.p_hi
-${HS_IMPL}/Idris/Elab/Interface.dyn_hi
-${HS_IMPL}/Idris/Elab/Interface.hi
-${HS_IMPL}/Idris/Elab/Interface.p_hi
-${HS_IMPL}/Idris/Elab/Provider.dyn_hi
-${HS_IMPL}/Idris/Elab/Provider.hi
-${HS_IMPL}/Idris/Elab/Provider.p_hi
-${HS_IMPL}/Idris/Elab/Quasiquote.dyn_hi
-${HS_IMPL}/Idris/Elab/Quasiquote.hi
-${HS_IMPL}/Idris/Elab/Quasiquote.p_hi
-${HS_IMPL}/Idris/Elab/Record.dyn_hi
-${HS_IMPL}/Idris/Elab/Record.hi
-${HS_IMPL}/Idris/Elab/Record.p_hi
-${HS_IMPL}/Idris/Elab/Rewrite.dyn_hi
-${HS_IMPL}/Idris/Elab/Rewrite.hi
-${HS_IMPL}/Idris/Elab/Rewrite.p_hi
-${HS_IMPL}/Idris/Elab/RunElab.dyn_hi
-${HS_IMPL}/Idris/Elab/RunElab.hi
-${HS_IMPL}/Idris/Elab/RunElab.p_hi
-${HS_IMPL}/Idris/Elab/Term.dyn_hi
-${HS_IMPL}/Idris/Elab/Term.hi
-${HS_IMPL}/Idris/Elab/Term.p_hi
-${HS_IMPL}/Idris/Elab/Transform.dyn_hi
-${HS_IMPL}/Idris/Elab/Transform.hi
-${HS_IMPL}/Idris/Elab/Transform.p_hi
-${HS_IMPL}/Idris/Elab/Type.dyn_hi
-${HS_IMPL}/Idris/Elab/Type.hi
-${HS_IMPL}/Idris/Elab/Type.p_hi
-${HS_IMPL}/Idris/Elab/Utils.dyn_hi
-${HS_IMPL}/Idris/Elab/Utils.hi
-${HS_IMPL}/Idris/Elab/Utils.p_hi
-${HS_IMPL}/Idris/Elab/Value.dyn_hi
-${HS_IMPL}/Idris/Elab/Value.hi
-${HS_IMPL}/Idris/Elab/Value.p_hi
-${HS_IMPL}/Idris/ElabDecls.dyn_hi
-${HS_IMPL}/Idris/ElabDecls.hi
-${HS_IMPL}/Idris/ElabDecls.p_hi
-${HS_IMPL}/Idris/Erasure.dyn_hi
-${HS_IMPL}/Idris/Erasure.hi
-${HS_IMPL}/Idris/Erasure.p_hi
-${HS_IMPL}/Idris/ErrReverse.dyn_hi
-${HS_IMPL}/Idris/ErrReverse.hi
-${HS_IMPL}/Idris/ErrReverse.p_hi
-${HS_IMPL}/Idris/Error.dyn_hi
-${HS_IMPL}/Idris/Error.hi
-${HS_IMPL}/Idris/Error.p_hi
-${HS_IMPL}/Idris/Help.dyn_hi
-${HS_IMPL}/Idris/Help.hi
-${HS_IMPL}/Idris/Help.p_hi
-${HS_IMPL}/Idris/IBC.dyn_hi
-${HS_IMPL}/Idris/IBC.hi
-${HS_IMPL}/Idris/IBC.p_hi
-${HS_IMPL}/Idris/IdeMode.dyn_hi
-${HS_IMPL}/Idris/IdeMode.hi
-${HS_IMPL}/Idris/IdeMode.p_hi
-${HS_IMPL}/Idris/IdrisDoc.dyn_hi
-${HS_IMPL}/Idris/IdrisDoc.hi
-${HS_IMPL}/Idris/IdrisDoc.p_hi
-${HS_IMPL}/Idris/Imports.dyn_hi
-${HS_IMPL}/Idris/Imports.hi
-${HS_IMPL}/Idris/Imports.p_hi
-${HS_IMPL}/Idris/Info.dyn_hi
-${HS_IMPL}/Idris/Info.hi
-${HS_IMPL}/Idris/Info.p_hi
-${HS_IMPL}/Idris/Info/Show.dyn_hi
-${HS_IMPL}/Idris/Info/Show.hi
-${HS_IMPL}/Idris/Info/Show.p_hi
-${HS_IMPL}/Idris/Inliner.dyn_hi
-${HS_IMPL}/Idris/Inliner.hi
-${HS_IMPL}/Idris/Inliner.p_hi
-${HS_IMPL}/Idris/Interactive.dyn_hi
-${HS_IMPL}/Idris/Interactive.hi
-${HS_IMPL}/Idris/Interactive.p_hi
-${HS_IMPL}/Idris/Main.dyn_hi
-${HS_IMPL}/Idris/Main.hi
-${HS_IMPL}/Idris/Main.p_hi
-${HS_IMPL}/Idris/ModeCommon.dyn_hi
-${HS_IMPL}/Idris/ModeCommon.hi
-${HS_IMPL}/Idris/ModeCommon.p_hi
-${HS_IMPL}/Idris/Options.dyn_hi
-${HS_IMPL}/Idris/Options.hi
-${HS_IMPL}/Idris/Options.p_hi
-${HS_IMPL}/Idris/Output.dyn_hi
-${HS_IMPL}/Idris/Output.hi
-${HS_IMPL}/Idris/Output.p_hi
-${HS_IMPL}/Idris/Package.dyn_hi
-${HS_IMPL}/Idris/Package.hi
-${HS_IMPL}/Idris/Package.p_hi
-${HS_IMPL}/Idris/Package/Common.dyn_hi
-${HS_IMPL}/Idris/Package/Common.hi
-${HS_IMPL}/Idris/Package/Common.p_hi
-${HS_IMPL}/Idris/Package/Parser.dyn_hi
-${HS_IMPL}/Idris/Package/Parser.hi
-${HS_IMPL}/Idris/Package/Parser.p_hi
-${HS_IMPL}/Idris/Parser.dyn_hi
-${HS_IMPL}/Idris/Parser.hi
-${HS_IMPL}/Idris/Parser.p_hi
-${HS_IMPL}/Idris/Parser/Data.dyn_hi
-${HS_IMPL}/Idris/Parser/Data.hi
-${HS_IMPL}/Idris/Parser/Data.p_hi
-${HS_IMPL}/Idris/Parser/Expr.dyn_hi
-${HS_IMPL}/Idris/Parser/Expr.hi
-${HS_IMPL}/Idris/Parser/Expr.p_hi
-${HS_IMPL}/Idris/Parser/Helpers.dyn_hi
-${HS_IMPL}/Idris/Parser/Helpers.hi
-${HS_IMPL}/Idris/Parser/Helpers.p_hi
-${HS_IMPL}/Idris/Parser/Ops.dyn_hi
-${HS_IMPL}/Idris/Parser/Ops.hi
-${HS_IMPL}/Idris/Parser/Ops.p_hi
-${HS_IMPL}/Idris/Parser/Stack.dyn_hi
-${HS_IMPL}/Idris/Parser/Stack.hi
-${HS_IMPL}/Idris/Parser/Stack.p_hi
-${HS_IMPL}/Idris/PartialEval.dyn_hi
-${HS_IMPL}/Idris/PartialEval.hi
-${HS_IMPL}/Idris/PartialEval.p_hi
-${HS_IMPL}/Idris/Primitives.dyn_hi
-${HS_IMPL}/Idris/Primitives.hi
-${HS_IMPL}/Idris/Primitives.p_hi
-${HS_IMPL}/Idris/ProofSearch.dyn_hi
-${HS_IMPL}/Idris/ProofSearch.hi
-${HS_IMPL}/Idris/ProofSearch.p_hi
-${HS_IMPL}/Idris/Prover.dyn_hi
-${HS_IMPL}/Idris/Prover.hi
-${HS_IMPL}/Idris/Prover.p_hi
-${HS_IMPL}/Idris/Providers.dyn_hi
-${HS_IMPL}/Idris/Providers.hi
-${HS_IMPL}/Idris/Providers.p_hi
-${HS_IMPL}/Idris/REPL.dyn_hi
-${HS_IMPL}/Idris/REPL.hi
-${HS_IMPL}/Idris/REPL.p_hi
-${HS_IMPL}/Idris/REPL/Browse.dyn_hi
-${HS_IMPL}/Idris/REPL/Browse.hi
-${HS_IMPL}/Idris/REPL/Browse.p_hi
-${HS_IMPL}/Idris/REPL/Commands.dyn_hi
-${HS_IMPL}/Idris/REPL/Commands.hi
-${HS_IMPL}/Idris/REPL/Commands.p_hi
-${HS_IMPL}/Idris/REPL/Parser.dyn_hi
-${HS_IMPL}/Idris/REPL/Parser.hi
-${HS_IMPL}/Idris/REPL/Parser.p_hi
-${HS_IMPL}/Idris/Reflection.dyn_hi
-${HS_IMPL}/Idris/Reflection.hi
-${HS_IMPL}/Idris/Reflection.p_hi
-${HS_IMPL}/Idris/Termination.dyn_hi
-${HS_IMPL}/Idris/Termination.hi
-${HS_IMPL}/Idris/Termination.p_hi
-${HS_IMPL}/Idris/Transforms.dyn_hi
-${HS_IMPL}/Idris/Transforms.hi
-${HS_IMPL}/Idris/Transforms.p_hi
-${HS_IMPL}/Idris/TypeSearch.dyn_hi
-${HS_IMPL}/Idris/TypeSearch.hi
-${HS_IMPL}/Idris/TypeSearch.p_hi
-${HS_IMPL}/Idris/Unlit.dyn_hi
-${HS_IMPL}/Idris/Unlit.hi
-${HS_IMPL}/Idris/Unlit.p_hi
-${HS_IMPL}/Idris/WhoCalls.dyn_hi
-${HS_IMPL}/Idris/WhoCalls.hi
-${HS_IMPL}/Idris/WhoCalls.p_hi
-${HS_IMPL}/Paths_idris.dyn_hi
-${HS_IMPL}/Paths_idris.hi
-${HS_IMPL}/Paths_idris.p_hi
-${HS_IMPL}/Tools_idris.dyn_hi
-${HS_IMPL}/Tools_idris.hi
-${HS_IMPL}/Tools_idris.p_hi
-${HS_IMPL}/Util/DynamicLinker.dyn_hi
-${HS_IMPL}/Util/DynamicLinker.hi
-${HS_IMPL}/Util/DynamicLinker.p_hi
-${HS_IMPL}/Util/Net.dyn_hi
-${HS_IMPL}/Util/Net.hi
-${HS_IMPL}/Util/Net.p_hi
-${HS_IMPL}/Util/Pretty.dyn_hi
-${HS_IMPL}/Util/Pretty.hi
-${HS_IMPL}/Util/Pretty.p_hi
-${HS_IMPL}/Util/ScreenSize.dyn_hi
-${HS_IMPL}/Util/ScreenSize.hi
-${HS_IMPL}/Util/ScreenSize.p_hi
-${HS_IMPL}/Util/System.dyn_hi
-${HS_IMPL}/Util/System.hi
-${HS_IMPL}/Util/System.p_hi
-${HS_IMPL}/Version_idris.dyn_hi
-${HS_IMPL}/Version_idris.hi
-${HS_IMPL}/Version_idris.p_hi
-${HS_IMPL}/libHS${HS_PKGID}.a
-${HS_IMPL}/libHS${HS_PKGID}_p.a
+lib/${PKGNAME}/${HS_VERSION}/package-description
+lib/${PKGNAME}/${HS_VERSION}/package-id
+lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Version_idris.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
+lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
man/man1/idris.1
-${HS_DOCS}/LICENSE
-${HS_DOCS}/html/CHANGELOG.md
-${HS_DOCS}/html/CITATION.md
-${HS_DOCS}/html/CONTRIBUTING.md
-${HS_DOCS}/html/CONTRIBUTORS
-${HS_DOCS}/html/IRTS-Bytecode.html
-${HS_DOCS}/html/IRTS-CodegenC.html
-${HS_DOCS}/html/IRTS-CodegenCommon.html
-${HS_DOCS}/html/IRTS-CodegenJavaScript.html
-${HS_DOCS}/html/IRTS-Compiler.html
-${HS_DOCS}/html/IRTS-Defunctionalise.html
-${HS_DOCS}/html/IRTS-DumpBC.html
-${HS_DOCS}/html/IRTS-Exports.html
-${HS_DOCS}/html/IRTS-Inliner.html
-${HS_DOCS}/html/IRTS-JavaScript-AST.html
-${HS_DOCS}/html/IRTS-JavaScript-Codegen.html
-${HS_DOCS}/html/IRTS-JavaScript-LangTransforms.html
-${HS_DOCS}/html/IRTS-JavaScript-Name.html
-${HS_DOCS}/html/IRTS-JavaScript-PrimOp.html
-${HS_DOCS}/html/IRTS-JavaScript-Specialize.html
-${HS_DOCS}/html/IRTS-Lang.html
-${HS_DOCS}/html/IRTS-LangOpts.html
-${HS_DOCS}/html/IRTS-Portable.html
-${HS_DOCS}/html/IRTS-Simplified.html
-${HS_DOCS}/html/IRTS-System.html
-${HS_DOCS}/html/Idris-ASTUtils.html
-${HS_DOCS}/html/Idris-AbsSyntax.html
-${HS_DOCS}/html/Idris-AbsSyntaxTree.html
-${HS_DOCS}/html/Idris-Apropos.html
-${HS_DOCS}/html/Idris-CaseSplit.html
-${HS_DOCS}/html/Idris-Chaser.html
-${HS_DOCS}/html/Idris-CmdOptions.html
-${HS_DOCS}/html/Idris-Colours.html
-${HS_DOCS}/html/Idris-Completion.html
-${HS_DOCS}/html/Idris-Core-Binary.html
-${HS_DOCS}/html/Idris-Core-CaseTree.html
-${HS_DOCS}/html/Idris-Core-Constraints.html
-${HS_DOCS}/html/Idris-Core-DeepSeq.html
-${HS_DOCS}/html/Idris-Core-Elaborate.html
-${HS_DOCS}/html/Idris-Core-Evaluate.html
-${HS_DOCS}/html/Idris-Core-Execute.html
-${HS_DOCS}/html/Idris-Core-ProofState.html
-${HS_DOCS}/html/Idris-Core-ProofTerm.html
-${HS_DOCS}/html/Idris-Core-TT.html
-${HS_DOCS}/html/Idris-Core-Typecheck.html
-${HS_DOCS}/html/Idris-Core-Unify.html
-${HS_DOCS}/html/Idris-Core-WHNF.html
-${HS_DOCS}/html/Idris-Coverage.html
-${HS_DOCS}/html/Idris-DSL.html
-${HS_DOCS}/html/Idris-DataOpts.html
-${HS_DOCS}/html/Idris-DeepSeq.html
-${HS_DOCS}/html/Idris-Delaborate.html
-${HS_DOCS}/html/Idris-Directives.html
-${HS_DOCS}/html/Idris-Docs.html
-${HS_DOCS}/html/Idris-Docstrings.html
-${HS_DOCS}/html/Idris-Elab-AsPat.html
-${HS_DOCS}/html/Idris-Elab-Clause.html
-${HS_DOCS}/html/Idris-Elab-Data.html
-${HS_DOCS}/html/Idris-Elab-Implementation.html
-${HS_DOCS}/html/Idris-Elab-Interface.html
-${HS_DOCS}/html/Idris-Elab-Provider.html
-${HS_DOCS}/html/Idris-Elab-Quasiquote.html
-${HS_DOCS}/html/Idris-Elab-Record.html
-${HS_DOCS}/html/Idris-Elab-Rewrite.html
-${HS_DOCS}/html/Idris-Elab-RunElab.html
-${HS_DOCS}/html/Idris-Elab-Term.html
-${HS_DOCS}/html/Idris-Elab-Transform.html
-${HS_DOCS}/html/Idris-Elab-Type.html
-${HS_DOCS}/html/Idris-Elab-Utils.html
-${HS_DOCS}/html/Idris-Elab-Value.html
-${HS_DOCS}/html/Idris-ElabDecls.html
-${HS_DOCS}/html/Idris-Erasure.html
-${HS_DOCS}/html/Idris-ErrReverse.html
-${HS_DOCS}/html/Idris-Error.html
-${HS_DOCS}/html/Idris-Help.html
-${HS_DOCS}/html/Idris-IBC.html
-${HS_DOCS}/html/Idris-IdeMode.html
-${HS_DOCS}/html/Idris-IdrisDoc.html
-${HS_DOCS}/html/Idris-Imports.html
-${HS_DOCS}/html/Idris-Info-Show.html
-${HS_DOCS}/html/Idris-Info.html
-${HS_DOCS}/html/Idris-Inliner.html
-${HS_DOCS}/html/Idris-Interactive.html
-${HS_DOCS}/html/Idris-Main.html
-${HS_DOCS}/html/Idris-ModeCommon.html
-${HS_DOCS}/html/Idris-Options.html
-${HS_DOCS}/html/Idris-Output.html
-${HS_DOCS}/html/Idris-Package-Common.html
-${HS_DOCS}/html/Idris-Package-Parser.html
-${HS_DOCS}/html/Idris-Package.html
-${HS_DOCS}/html/Idris-Parser-Data.html
-${HS_DOCS}/html/Idris-Parser-Expr.html
-${HS_DOCS}/html/Idris-Parser-Helpers.html
-${HS_DOCS}/html/Idris-Parser-Ops.html
-${HS_DOCS}/html/Idris-Parser-Stack.html
-${HS_DOCS}/html/Idris-Parser.html
-${HS_DOCS}/html/Idris-PartialEval.html
-${HS_DOCS}/html/Idris-Primitives.html
-${HS_DOCS}/html/Idris-ProofSearch.html
-${HS_DOCS}/html/Idris-Prover.html
-${HS_DOCS}/html/Idris-Providers.html
-${HS_DOCS}/html/Idris-REPL-Browse.html
-${HS_DOCS}/html/Idris-REPL-Commands.html
-${HS_DOCS}/html/Idris-REPL-Parser.html
-${HS_DOCS}/html/Idris-REPL.html
-${HS_DOCS}/html/Idris-Reflection.html
-${HS_DOCS}/html/Idris-Termination.html
-${HS_DOCS}/html/Idris-Transforms.html
-${HS_DOCS}/html/Idris-TypeSearch.html
-${HS_DOCS}/html/Idris-Unlit.html
-${HS_DOCS}/html/Idris-WhoCalls.html
-${HS_DOCS}/html/README.md
-${HS_DOCS}/html/RELEASE-CHECKS.md
-${HS_DOCS}/html/Util-DynamicLinker.html
-${HS_DOCS}/html/Util-ScreenSize.html
-${HS_DOCS}/html/Util-System.html
-${HS_DOCS}/html/doc-index-95.html
-${HS_DOCS}/html/doc-index-A.html
-${HS_DOCS}/html/doc-index-All.html
-${HS_DOCS}/html/doc-index-B.html
-${HS_DOCS}/html/doc-index-C.html
-${HS_DOCS}/html/doc-index-D.html
-${HS_DOCS}/html/doc-index-E.html
-${HS_DOCS}/html/doc-index-F.html
-${HS_DOCS}/html/doc-index-G.html
-${HS_DOCS}/html/doc-index-H.html
-${HS_DOCS}/html/doc-index-I.html
-${HS_DOCS}/html/doc-index-J.html
-${HS_DOCS}/html/doc-index-K.html
-${HS_DOCS}/html/doc-index-L.html
-${HS_DOCS}/html/doc-index-M.html
-${HS_DOCS}/html/doc-index-N.html
-${HS_DOCS}/html/doc-index-O.html
-${HS_DOCS}/html/doc-index-P.html
-${HS_DOCS}/html/doc-index-Q.html
-${HS_DOCS}/html/doc-index-R.html
-${HS_DOCS}/html/doc-index-S.html
-${HS_DOCS}/html/doc-index-T.html
-${HS_DOCS}/html/doc-index-U.html
-${HS_DOCS}/html/doc-index-V.html
-${HS_DOCS}/html/doc-index-W.html
-${HS_DOCS}/html/doc-index-Z.html
-${HS_DOCS}/html/doc-index.html
-${HS_DOCS}/html/haddock-bundle.min.js
-${HS_DOCS}/html/idris-tutorial.pdf
-${HS_DOCS}/html/idris.haddock
-${HS_DOCS}/html/index.html
-${HS_DOCS}/html/linuwial.css
-${HS_DOCS}/html/meta.json
-${HS_DOCS}/html/quick-jump.css
-${HS_DOCS}/html/samples/effects/ConsoleIO.idr
-${HS_DOCS}/html/samples/effects/Exception.idr
-${HS_DOCS}/html/samples/effects/Random.idr
-${HS_DOCS}/html/samples/effects/ReadInt.idr
-${HS_DOCS}/html/samples/effects/Select.idr
-${HS_DOCS}/html/samples/effects/TreeTag-noeff.idr
-${HS_DOCS}/html/samples/effects/TreeTag.idr
-${HS_DOCS}/html/samples/effects/TreeTagCount.idr
-${HS_DOCS}/html/samples/effects/hworld.idr
-${HS_DOCS}/html/samples/effects/vadd.idr
-${HS_DOCS}/html/samples/misc/binary.idr
-${HS_DOCS}/html/samples/misc/interp-alt.idr
-${HS_DOCS}/html/samples/misc/interp.idr
-${HS_DOCS}/html/samples/misc/javaffi.idr
-${HS_DOCS}/html/samples/misc/named_implementation.lidr
-${HS_DOCS}/html/samples/misc/reflection.idr
-${HS_DOCS}/html/samples/tutorial/BMain.idr
-${HS_DOCS}/html/samples/tutorial/BTree.idr
-${HS_DOCS}/html/samples/tutorial/BTreeMod.idr
-${HS_DOCS}/html/samples/tutorial/Foo.idr
-${HS_DOCS}/html/samples/tutorial/Hello.idr
-${HS_DOCS}/html/samples/tutorial/Idiom.idr
-${HS_DOCS}/html/samples/tutorial/Interfaces.idr
-${HS_DOCS}/html/samples/tutorial/Interp.idr
-${HS_DOCS}/html/samples/tutorial/LetBind.idr
-${HS_DOCS}/html/samples/tutorial/Prims.idr
-${HS_DOCS}/html/samples/tutorial/Record.idr
-${HS_DOCS}/html/samples/tutorial/Theorems.idr
-${HS_DOCS}/html/samples/tutorial/Universe.idr
-${HS_DOCS}/html/samples/tutorial/UsefulTypes.idr
-${HS_DOCS}/html/samples/tutorial/VBroken.idr
-${HS_DOCS}/html/samples/tutorial/Views.idr
-${HS_DOCS}/html/samples/tutorial/ViewsBroken.idr
-${HS_DOCS}/html/samples/tutorial/Wheres.idr
-${HS_DOCS}/html/synopsis.png
+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
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
@@ -630,6 +642,7 @@ share/${HS_PLATFORM}/${PKGNAME}/docs/con
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.ST.Stable.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.ST.VarList.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.ST.html
+share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Bool.Algebra.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.BoundedList.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Chain.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.CoList.html
@@ -641,7 +654,7 @@ share/${HS_PLATFORM}/${PKGNAME}/docs/con
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Fun.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Hash.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.IOArray.html
-share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.List.Extra.html
+share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.List.Reverse.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.List.Zipper.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Matrix.Algebraic.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Matrix.Numeric.html
@@ -649,6 +662,8 @@ share/${HS_PLATFORM}/${PKGNAME}/docs/con
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Morphisms.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Nat.DivMod.IteratedSubtraction.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Nat.DivMod.html
+share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Nat.Fact.html
+share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Nat.Fib.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Nat.Parity.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Nat.html
share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Pairs.Implicit.html
@@ -897,6 +912,7 @@ share/${HS_PLATFORM}/${PKGNAME}/libs/con
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/ST/File.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/ST/ImplicitCall.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/ST/Random.ibc
+share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Bool/Algebra.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Bool/Extra.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/BoundedList.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Chain.ibc
@@ -910,14 +926,17 @@ share/${HS_PLATFORM}/${PKGNAME}/libs/con
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Hash.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Heap.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/IOArray.ibc
-share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/List/Extra.ibc
+share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/List/Reverse.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/List/Zipper.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Matrix.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Matrix/Algebraic.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Matrix/Numeric.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Nat.ibc
+share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Nat/Ack.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Nat/DivMod.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Nat/DivMod/IteratedSubtraction.ibc
+share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Nat/Fact.ibc
+share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Nat/Fib.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Nat/Parity.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Pairs/Implicit.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/PosNat.ibc
@@ -1027,10 +1046,13 @@ share/${HS_PLATFORM}/${PKGNAME}/libs/pru
share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/Pruviloj/Internals.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/Pruviloj/Internals/TyConInfo.ibc
share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/Pruviloj/Renamers.ibc
+share/${HS_PLATFORM}/${PKGNAME}/rts/Makefile
share/${HS_PLATFORM}/${PKGNAME}/rts/arduino/idris_main.c
+share/${HS_PLATFORM}/${PKGNAME}/rts/getline.c
share/${HS_PLATFORM}/${PKGNAME}/rts/getline.h
share/${HS_PLATFORM}/${PKGNAME}/rts/idris_bitstring.c
share/${HS_PLATFORM}/${PKGNAME}/rts/idris_bitstring.h
+share/${HS_PLATFORM}/${PKGNAME}/rts/idris_buffer.c
share/${HS_PLATFORM}/${PKGNAME}/rts/idris_buffer.h
share/${HS_PLATFORM}/${PKGNAME}/rts/idris_gc.c
share/${HS_PLATFORM}/${PKGNAME}/rts/idris_gc.h
@@ -1049,8 +1071,14 @@ share/${HS_PLATFORM}/${PKGNAME}/rts/idri
share/${HS_PLATFORM}/${PKGNAME}/rts/idris_stats.h
share/${HS_PLATFORM}/${PKGNAME}/rts/idris_stdfgn.c
share/${HS_PLATFORM}/${PKGNAME}/rts/idris_stdfgn.h
+share/${HS_PLATFORM}/${PKGNAME}/rts/idris_utf8.c
share/${HS_PLATFORM}/${PKGNAME}/rts/idris_utf8.h
share/${HS_PLATFORM}/${PKGNAME}/rts/libidris_rts.a
share/${HS_PLATFORM}/${PKGNAME}/rts/libtest.c
share/${HS_PLATFORM}/${PKGNAME}/rts/mini-gmp.c
share/${HS_PLATFORM}/${PKGNAME}/rts/mini-gmp.h
+share/${HS_PLATFORM}/${PKGNAME}/rts/seL4/CMakeLists.txt
+share/${HS_PLATFORM}/${PKGNAME}/rts/seL4/README.md
+share/${HS_PLATFORM}/${PKGNAME}/rts/seL4/idris_main.c
+share/${HS_PLATFORM}/${PKGNAME}/rts/windows/win_utils.c
+share/${HS_PLATFORM}/${PKGNAME}/rts/windows/win_utils.h
Index: pkgsrc/lang/idris/distinfo
diff -u pkgsrc/lang/idris/distinfo:1.2 pkgsrc/lang/idris/distinfo:1.3
--- pkgsrc/lang/idris/distinfo:1.2 Tue Oct 13 16:35:44 2020
+++ pkgsrc/lang/idris/distinfo Sun Apr 25 11:39:03 2021
@@ -1,19 +1,18 @@
-$NetBSD: distinfo,v 1.2 2020/10/13 16:35:44 pho Exp $
+$NetBSD: distinfo,v 1.3 2021/04/25 11:39:03 pho Exp $
-SHA1 (idris-1.3.2.tar.gz) = fb4ac3904368a3d8c935855873d73a6ffc90beec
-RMD160 (idris-1.3.2.tar.gz) = 6b1ec85978e62c32691920429e0d2f97e3685b63
-SHA512 (idris-1.3.2.tar.gz) = 2db0fbcad6b596b7e34dcbb0c4fbe30ccbbcfbb5f469d4b077bf010391a98bb743162656c608d154f62f78f607662548cc1f00fc710f59d89612a3552a3e037f
-Size (idris-1.3.2.tar.gz) = 2092794 bytes
-SHA1 (patch-Setup.hs) = 4bc32b7e219bfa53151ba3f4b26426b17b0e9e47
-SHA1 (patch-idris.cabal) = 5ba95f0156d634207eb951ef123e8b83598a8c3e
+SHA1 (idris-1.3.3.tar.gz) = dfaf078f6220f7c44e9f052002ec3373b2f51086
+RMD160 (idris-1.3.3.tar.gz) = ceddf815d11098704e40d3d428edb99cc5fbe349
+SHA512 (idris-1.3.3.tar.gz) = 4edcc67b173b5645102520a47b295742b894c2f738f94b8f2183c782aa39c349262a5c62cc01c947bcc366930f9f952632ebc419616cdb06c952ee0134b1ec4b
+Size (idris-1.3.3.tar.gz) = 1720984 bytes
+SHA1 (patch-Setup.hs) = 26b0fe5486434aa5056703abd8041778ff73f385
+SHA1 (patch-idris.cabal) = 4299b8addf9a41615801e201cb9b13716bbd7b74
SHA1 (patch-rts_Makefile) = fe88269e184aa0d80e13723c9e4fe47aba68eb3e
SHA1 (patch-rts_idris__net.c) = fcb226e8752c34661fc1a81fff11e41342c3e0f8
SHA1 (patch-src_IRTS_System.hs) = 4451e03f4e9095fcac9e014eb7ad4b997d5e308d
-SHA1 (patch-src_Idris_CmdOptions.hs) = 01b8ecb9b02c214ebff8c46b74e1e2b82c18e206
-SHA1 (patch-src_Idris_Core_CaseTree.hs) = 273e8335623ff07ccf4206fdb68558a42644c785
-SHA1 (patch-src_Idris_Core_TT.hs) = d80aa0777f443d6487fa3349a3dad54ae4aedb08
+SHA1 (patch-src_Idris_Output.hs) = 75d0f8c8eb96c6110cf5a825cf402d3403da16a6
SHA1 (patch-src_Idris_Package_Parser.hs) = 3394ec6fbf1323f4331d614426b48377815b7347
SHA1 (patch-src_Idris_Parser_Data.hs) = 5b6d2d3944233fba22e93d631f92de49e64b35a8
SHA1 (patch-src_Idris_Parser_Helpers.hs) = bfd9b16dafa0581147c6b22e5d4e43ae2b701f96
SHA1 (patch-src_Idris_Parser_Ops.hs) = 2ebc3ffc1c909362c4945e556056d5428a8d0a25
-SHA1 (patch-src_Idris_Parser_Stack.hs) = 35c903e02b5ec6f21cc04047d9c474082cd97663
+SHA1 (patch-src_Idris_Parser_Stack.hs) = 60f27654bc720df3830a42ec5d4debb7ca4b73cd
+SHA1 (patch-src_Idris_REPL.hs) = b5096550b15c9fbf01d993da24f1c8bf21817b09
Index: pkgsrc/lang/idris/patches/patch-Setup.hs
diff -u pkgsrc/lang/idris/patches/patch-Setup.hs:1.2 pkgsrc/lang/idris/patches/patch-Setup.hs:1.3
--- pkgsrc/lang/idris/patches/patch-Setup.hs:1.2 Tue Oct 13 16:35:44 2020
+++ pkgsrc/lang/idris/patches/patch-Setup.hs Sun Apr 25 11:39:03 2021
@@ -1,4 +1,4 @@
-$NetBSD: patch-Setup.hs,v 1.2 2020/10/13 16:35:44 pho Exp $
+$NetBSD: patch-Setup.hs,v 1.3 2021/04/25 11:39:03 pho Exp $
* Don't hard-code the gmake command (pkgsrc specific).
@@ -20,7 +20,7 @@ $NetBSD: patch-Setup.hs,v 1.2 2020/10/13
Be careful not to modify this patch after running "bmake
configure". It will break the patch.
---- Setup.hs.orig 2019-07-22 10:47:26.000000000 +0000
+--- Setup.hs.orig 2020-03-18 21:55:00.000000000 +0000
+++ Setup.hs
@@ -42,19 +42,20 @@ import Distribution.Types.UnqualComponen
(<//>) = (Px.</>)
@@ -61,23 +61,7 @@ configure". It will break the patch.
-- Generate a module that contains extra library directories passed
-- via command-line to cabal
-@@ -215,6 +214,7 @@ idrisConfigure _ flags pkgdesc local = d
- autogenComponentModulesDir lbi _ = autogenModulesDir lbi
- #endif
-
-+#if !MIN_VERSION_Cabal(3,0,0)
- idrisPreSDist args flags = do
- let dir = S.fromFlag (S.sDistDirectory flags)
- let verb = S.fromFlag (S.sDistVerbosity flags)
-@@ -244,6 +244,7 @@ idrisPostSDist args flags desc lbi = do
- removeFile targetFile)
- (\e -> let e' = (e :: SomeException) in return ())
- postSDist simpleUserHooks args flags desc lbi
-+#endif
-
- #if !(MIN_VERSION_Cabal(2,0,0))
- rewriteFileEx :: Verbosity -> FilePath -> String -> IO ()
-@@ -317,7 +318,7 @@ idrisInstall verbosity copy pkg local
+@@ -287,7 +286,7 @@ idrisInstall verbosity copy pkg local
makeInstall "rts" target'
installManPage = do
@@ -86,14 +70,3 @@ configure". It will break the patch.
notice verbosity $ unwords ["Copying man page to", mandest]
installOrdinaryFiles verbosity mandest [("man", "idris.1")]
-@@ -353,8 +354,10 @@ main = defaultMainWithHooks $ simpleUser
- , postInst = \_ flags pkg local ->
- idrisInstall (S.fromFlag $ S.installVerbosity flags)
- NoCopyDest pkg local
-+#if !MIN_VERSION_Cabal(3,0,0)
- , preSDist = idrisPreSDist
- , sDistHook = idrisSDist (sDistHook simpleUserHooks)
- , postSDist = idrisPostSDist
-+#endif
- , testHook = idrisTestHook
- }
Index: pkgsrc/lang/idris/patches/patch-idris.cabal
diff -u pkgsrc/lang/idris/patches/patch-idris.cabal:1.1 pkgsrc/lang/idris/patches/patch-idris.cabal:1.2
--- pkgsrc/lang/idris/patches/patch-idris.cabal:1.1 Mon Jan 20 23:32:38 2020
+++ pkgsrc/lang/idris/patches/patch-idris.cabal Sun Apr 25 11:39:03 2021
@@ -1,38 +1,42 @@
-$NetBSD: patch-idris.cabal,v 1.1 2020/01/20 23:32:38 pho Exp $
+$NetBSD: patch-idris.cabal,v 1.2 2021/04/25 11:39:03 pho Exp $
Fix build with recent libraries.
---- idris.cabal.orig 2019-07-22 10:47:26.000000000 +0000
+--- idris.cabal.orig 2020-05-23 21:22:15.000000000 +0000
+++ idris.cabal
-@@ -272,7 +272,7 @@ Library
+@@ -319,12 +319,12 @@ Library
+ , BuildFlags_idris
+
Build-depends: base >=4 && <5
- , aeson >= 0.6 && < 1.5
+- , aeson >= 0.6 && < 1.5
++ , aeson >= 0.6 && < 1.6
, annotated-wl-pprint >= 0.7 && < 0.8
-- , ansi-terminal < 0.9
-+ , ansi-terminal < 0.11
+- , ansi-terminal < 0.11
++ , ansi-terminal < 0.12
, ansi-wl-pprint < 0.7
, array >= 0.4.0.1 && < 0.6
- , base64-bytestring < 1.1
-@@ -289,10 +289,10 @@ Library
+- , base64-bytestring < 1.2
++ , base64-bytestring < 1.3
+ , binary >= 0.8.4.1 && < 0.9
+ , blaze-html >= 0.6.1.3 && < 0.10
+ , blaze-markup >= 0.5.2.1 && < 0.10
+@@ -334,14 +334,15 @@ Library
+ , containers >= 0.5 && < 0.7
+ , deepseq < 1.5
+ , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
++ , exceptions >= 0.10 && < 0.11
+ , filepath < 1.5
, fingertree >= 0.1.4.1 && < 0.2
- , haskeline >= 0.7 && < 0.8
+- , haskeline >= 0.7 && < 0.8
++ , haskeline >= 0.7 && < 0.9
, ieee754 >= 0.7 && < 0.9
-- , megaparsec >= 7.0.4 && < 8
-+ , megaparsec >= 7.0.4 && < 9
+- , megaparsec >= 7.0.4 && < 9
++ , megaparsec >= 7.0.4 && < 9.1
, mtl >= 2.1 && < 2.3
-- , network >= 2.7 && < 2.9
-- , optparse-applicative >= 0.13 && < 0.15
-+ , network >= 2.7 && < 4
-+ , optparse-applicative >= 0.13 && < 1
+- , network >= 2.7 && < 3.1.2
+- , optparse-applicative >= 0.13 && < 0.16
++ , network >= 2.7 && < 3.2
++ , optparse-applicative >= 0.13 && < 0.17
, parser-combinators >= 1.0.0
, pretty < 1.2
, process < 1.7
-@@ -301,7 +301,7 @@ Library
- , split < 0.3
- , terminal-size < 0.4
- , text >=1.2.1.0 && < 1.3
-- , time >= 1.4 && < 1.9
-+ , time >= 1.4 && < 2
- , transformers >= 0.5 && < 0.6
- , uniplate >=1.6 && < 1.7
- , unordered-containers < 0.3
Index: pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs
diff -u pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs:1.1 pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs:1.2
--- pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs:1.1 Mon Jan 20 23:32:38 2020
+++ pkgsrc/lang/idris/patches/patch-src_Idris_Parser_Stack.hs Sun Apr 25 11:39:03 2021
@@ -1,30 +1,15 @@
-$NetBSD: patch-src_Idris_Parser_Stack.hs,v 1.1 2020/01/20 23:32:38 pho Exp $
+$NetBSD: patch-src_Idris_Parser_Stack.hs,v 1.2 2021/04/25 11:39:03 pho Exp $
-Fix build with recent megaparsec.
+Fix build with megaparsec-9.0.*.
---- src/Idris/Parser/Stack.hs.orig 2020-01-20 13:28:28.122727647 +0000
+--- src/Idris/Parser/Stack.hs.orig 2021-04-25 10:29:33.784393017 +0000
+++ src/Idris/Parser/Stack.hs
-@@ -76,11 +76,12 @@ parseErrorOffset = P.errorOffset . parse
- instance Message ParseError where
- messageExtent err = sourcePositionFC pos
- where
-- (pos, _) = P.reachOffsetNoLine (parseErrorOffset err) (parseErrorPosState err)
-+ pos = P.pstateSourcePos $
-+ P.reachOffsetNoLine (parseErrorOffset err) (parseErrorPosState err)
+@@ -84,7 +84,7 @@ instance Message ParseError where
+ (pos, _) = P.reachOffsetNoLine (parseErrorOffset err) (parseErrorPosState err)
+ #endif
messageText = PP.text . init . P.parseErrorTextPretty . parseError
- messageSource err = Just sline
+- messageSource err = Just sline
++ messageSource err = sline
where
-- (_, sline, _) = P.reachOffset (parseErrorOffset err) (parseErrorPosState err)
-+ (sline, _) = P.reachOffset (parseErrorOffset err) (parseErrorPosState err)
-
- -- | A fully formatted parse error, with caret and bar, etc.
- prettyError :: ParseError -> String
-@@ -88,7 +89,7 @@ prettyError = P.errorBundlePretty . unP
-
- {- * Mark and restore -}
-
--type Mark = P.State String
-+type Mark = P.State String Void
-
- -- | Retrieve the parser state so we can restart from this point later.
- mark :: Parsing m => m Mark
+ #if MIN_VERSION_megaparsec(8,0,0)
+ (sline, _) = P.reachOffset (parseErrorOffset err) (parseErrorPosState err)
Added files:
Index: pkgsrc/lang/idris/patches/patch-src_Idris_Output.hs
diff -u /dev/null pkgsrc/lang/idris/patches/patch-src_Idris_Output.hs:1.1
--- /dev/null Sun Apr 25 11:39:03 2021
+++ pkgsrc/lang/idris/patches/patch-src_Idris_Output.hs Sun Apr 25 11:39:03 2021
@@ -0,0 +1,31 @@
+$NetBSD: patch-src_Idris_Output.hs,v 1.1 2021/04/25 11:39:03 pho Exp $
+
+Fix build with haskeline-0.8.*. Not sure this is the right way to fix
+it though (probably not), and it's not clear if the upstream is going
+to fix this properly given that Idris 2 is going to supersede this
+implementation.
+
+--- src/Idris/Output.hs.orig 2021-04-25 10:27:19.932751280 +0000
++++ src/Idris/Output.hs
+@@ -37,21 +37,13 @@ import Prelude hiding ((<$>))
+ #endif
+
+ import Control.Arrow (first)
+-import Control.Monad.Trans.Except (ExceptT(ExceptT), runExceptT)
+ import Data.List (intersperse, nub)
+ import Data.Maybe (fromJust, fromMaybe, isJust, listToMaybe)
+ import qualified Data.Set as S
+-import System.Console.Haskeline.MonadException (MonadException(controlIO),
+- RunIO(RunIO))
+ import System.FilePath (replaceExtension)
+ import System.IO (Handle, hPutStr, hPutStrLn)
+ import System.IO.Error (tryIOError)
+
+-instance MonadException m => MonadException (ExceptT Err m) where
+- controlIO f = ExceptT $ controlIO $ \(RunIO run) -> let
+- run' = RunIO (fmap ExceptT . run . runExceptT)
+- in fmap runExceptT $ f run'
+-
+ pshow :: IState -> Err -> String
+ pshow ist err = displayDecorated (consoleDecorate ist) .
+ renderPretty 1.0 80 .
Index: pkgsrc/lang/idris/patches/patch-src_Idris_REPL.hs
diff -u /dev/null pkgsrc/lang/idris/patches/patch-src_Idris_REPL.hs:1.1
--- /dev/null Sun Apr 25 11:39:03 2021
+++ pkgsrc/lang/idris/patches/patch-src_Idris_REPL.hs Sun Apr 25 11:39:03 2021
@@ -0,0 +1,39 @@
+$NetBSD: patch-src_Idris_REPL.hs,v 1.1 2021/04/25 11:39:03 pho Exp $
+
+Fix build with haskeline-0.8.*.
+
+--- src/Idris/REPL.hs.orig 2021-04-25 10:35:54.491750352 +0000
++++ src/Idris/REPL.hs
+@@ -25,6 +25,7 @@ import Control.Concurrent.Async (race)
+ import Control.DeepSeq
+ import qualified Control.Exception as X
+ import Control.Monad
++import Control.Monad.Catch (catch)
+ import Control.Monad.Trans (lift)
+ import Control.Monad.Trans.Except (runExceptT)
+ import Control.Monad.Trans.State.Strict (evalStateT, get, put)
+@@ -122,13 +123,13 @@ repl orig mods efile
+ (if colour && not isWindows
+ then colourisePrompt theme str
+ else str) ++ " "
+- x <- H.catch (H.withInterrupt $ getInputLine prompt)
++ x <- catch (H.withInterrupt $ getInputLine prompt)
+ (ctrlC (return $ Just ""))
+ case x of
+ Nothing -> do lift $ when (not quiet) (iputStrLn "Bye bye")
+ return ()
+ Just input -> -- H.catch
+- do ms <- H.catch (H.withInterrupt $ lift $ processInput input orig mods efile)
++ do ms <- catch (H.withInterrupt $ lift $ processInput input orig mods efile)
+ (ctrlC (return (Just mods)))
+ case ms of
+ Just mods -> let efile' = fromMaybe efile (listToMaybe mods)
+@@ -136,7 +137,7 @@ repl orig mods efile
+ Nothing -> return ()
+ -- ctrlC)
+ -- ctrlC
+- where ctrlC :: InputT Idris a -> SomeException -> InputT Idris a
++ where ctrlC :: InputT Idris a -> X.SomeException -> InputT Idris a
+ ctrlC act e = do lift $ iputStrLn (show e)
+ act -- repl orig mods
+
Home |
Main Index |
Thread Index |
Old Index