@comment $NetBSD: PLIST,v 1.5 2023/10/30 15:39:56 pho Exp $ bin/idris bin/idris-codegen-c bin/idris-codegen-javascript bin/idris-codegen-node lib/${PKGNAME}/${HS_VERSION}/package-description lib/${PKGNAME}/${HS_VERSION}/package-id lib/${HS_PLATFORM}/${HS_PKGID}/BuildFlags_idris.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Bytecode.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenC.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenCommon.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/CodegenJavaScript.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Compiler.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Defunctionalise.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/DumpBC.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Exports.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Inliner.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/AST.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Codegen.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/LangTransforms.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Name.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/PrimOp.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/JavaScript/Specialize.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Lang.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/LangOpts.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Portable.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/Simplified.hi lib/${HS_PLATFORM}/${HS_PKGID}/IRTS/System.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ASTUtils.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntax.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/AbsSyntaxTree.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Apropos.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CaseSplit.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Chaser.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/CmdOptions.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Colours.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Completion.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Binary.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/CaseTree.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Constraints.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/DeepSeq.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Elaborate.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Evaluate.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Execute.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofState.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/ProofTerm.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/TT.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Typecheck.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/Unify.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Core/WHNF.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Coverage.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DSL.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DataOpts.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/DeepSeq.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Delaborate.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Directives.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docs.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Docstrings.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/AsPat.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Clause.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Data.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Implementation.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Interface.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Provider.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Quasiquote.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Record.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Rewrite.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/RunElab.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Term.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Transform.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Type.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Utils.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Elab/Value.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ElabDecls.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Erasure.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ErrReverse.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Error.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Help.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IBC.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdeMode.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/IdrisDoc.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Imports.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Info/Show.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Inliner.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Interactive.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Main.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ModeCommon.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Options.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Output.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Common.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Package/Parser.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Data.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Expr.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Helpers.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Ops.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Parser/Stack.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/PartialEval.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Primitives.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/ProofSearch.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Prover.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Providers.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Browse.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Commands.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/REPL/Parser.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Reflection.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Termination.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Transforms.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/TypeSearch.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/Unlit.hi lib/${HS_PLATFORM}/${HS_PKGID}/Idris/WhoCalls.hi lib/${HS_PLATFORM}/${HS_PKGID}/Paths_idris.hi lib/${HS_PLATFORM}/${HS_PKGID}/Tools_idris.hi lib/${HS_PLATFORM}/${HS_PKGID}/Util/DynamicLinker.hi lib/${HS_PLATFORM}/${HS_PKGID}/Util/Net.hi lib/${HS_PLATFORM}/${HS_PKGID}/Util/Pretty.hi lib/${HS_PLATFORM}/${HS_PKGID}/Util/ScreenSize.hi lib/${HS_PLATFORM}/${HS_PKGID}/Util/System.hi 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 ${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/doc-index.json ${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/quick-jump.min.js ${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 share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Control.IOExcept.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Control.Isomorphism.Iso.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Control.Isomorphism.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Control.Monad.Identity.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Control.Monad.RWS.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Control.Monad.Reader.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Control.Monad.State.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Control.Monad.Writer.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.Bits.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.Buffer.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.Complex.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.Erased.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.Fin.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.HVect.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.IORef.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.List.Quantifiers.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.List.Views.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.List.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.Mod2.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.Morphisms.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.String.Views.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.String.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.Vect.Quantifiers.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.Vect.Views.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Data.Vect.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Debug.Error.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Debug.Trace.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Decidable.Equality.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/FFI.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/FFI_C.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/ForeignEnv.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Language.Reflection.Elab.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Language.Reflection.Errors.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Language.Reflection.Utils.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Language.Reflection.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Algebra.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Applicative.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Basics.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Bool.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Either.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.File.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Foldable.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Functor.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Interfaces.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.List.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Maybe.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Nat.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Show.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Stream.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Strings.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.Traversable.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/Prelude.WellFounded.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/System.Concurrency.Channels.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/System.Info.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/System.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/docs/[builtins].html share/${HS_PLATFORM}/${PKGNAME}/docs/base/index.html share/${HS_PLATFORM}/${PKGNAME}/docs/base/styles.css share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/IdrisDoc share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Builtins.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/CFFI.Memory.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/CFFI.Types.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Algebra.Lattice.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Algebra.Laws.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Algebra.NumericImplementations.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Algebra.VectorSpace.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Algebra.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Delayed.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.IOExcept.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Isomorphism.Extra.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Isomorphism.Fin.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Isomorphism.Iso.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Isomorphism.Primitives.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Isomorphism.Vect.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Isomorphism.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Monad.Syntax.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Partial.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.Pipeline.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.ST.Env.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.ST.Exception.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.ST.File.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.ST.ImplicitCall.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.ST.Loop.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.ST.Random.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Control.ST.Resources.html 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 share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Combinators.Applicative.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Combinators.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Fin.Extra.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Fin.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Fuel.html 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.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 share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Matrix.html 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 share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.PosNat.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Rel.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.SortedBag.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.SortedSet.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Storable.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Stream.Extra.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.String.Extra.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Data.Vect.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Decidable.Decidable.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Decidable.Equality.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Decidable.Order.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/FFI.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/FFI_C.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/ForeignEnv.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Interfaces.Correlative.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Interfaces.Proposition.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Language.JSON.Data.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Language.JSON.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Language.Reflection.Elab.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Language.Reflection.Errors.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Language.Reflection.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Network.Cgi.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Network.Socket.Data.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Network.Socket.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Algebra.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Applicative.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Basics.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Bool.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Either.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.File.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Foldable.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Functor.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Interfaces.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.List.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Maybe.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Monad.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Nat.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Pairs.Exists.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Pairs.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Show.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Stream.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.Traversable.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.WellFounded.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Prelude.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/System.Concurrency.Process.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Test.Unit.Assertions.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Test.Unit.Display.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Test.Unit.Generic.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Text.Lexer.Core.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Text.Literate.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Text.Quantity.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/Text.Token.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/docs/[builtins].html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/index.html share/${HS_PLATFORM}/${PKGNAME}/docs/contrib/styles.css share/${HS_PLATFORM}/${PKGNAME}/docs/effects/IdrisDoc share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Control.IOExcept.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Data.List.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Data.So.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Decidable.Equality.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Exception.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.File.FileResult.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.File.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Logging.Category.LogRes.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Logging.Category.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Logging.Default.LogRes.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Logging.Default.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Logging.Level.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Memory.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Monad.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Perf.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Random.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Select.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.State.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.StdIO.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.System.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effect.Trans.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effects.DepEff.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effects.DepUpdateEffect.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effects.Env.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effects.NoResourceEffect.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effects.NoUpdateEffect.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effects.SimpleEff.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effects.TransEff.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effects.UpdateEffect.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Effects.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/FFI.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/FFI_C.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/ForeignEnv.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Language.Reflection.Elab.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Language.Reflection.Errors.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Language.Reflection.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Algebra.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Applicative.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Basics.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Bool.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Either.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.File.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Foldable.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Functor.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Interfaces.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.List.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Maybe.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Nat.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Show.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/Prelude.Stream.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/docs/[builtins].html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/index.html share/${HS_PLATFORM}/${PKGNAME}/docs/effects/styles.css share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/IdrisDoc share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Builtins.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Decidable.Equality.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/FFI.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/FFI_C.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/ForeignEnv.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/IO.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Language.Reflection.Elab.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Language.Reflection.Errors.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Language.Reflection.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Algebra.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Applicative.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Basics.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Bits.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Bool.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Cast.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Chars.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Doubles.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Either.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.File.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Foldable.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Functor.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Interactive.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Interfaces.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.List.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Maybe.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Monad.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Nat.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Pairs.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Providers.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Show.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Stream.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Strings.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Traversable.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.Uninhabited.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.WellFounded.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/Prelude.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/docs/[builtins].html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/index.html share/${HS_PLATFORM}/${PKGNAME}/docs/prelude/styles.css share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/IdrisDoc share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Decidable.Equality.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/FFI.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/FFI_C.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/ForeignEnv.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Language.Reflection.Elab.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Language.Reflection.Errors.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Language.Reflection.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Algebra.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Applicative.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Basics.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Bool.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Either.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.File.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Foldable.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Functor.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Interfaces.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.List.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Maybe.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Nat.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Show.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Prelude.Stream.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Pruviloj.Derive.DecEq.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/Pruviloj.Internals.TyConInfo.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/docs/[builtins].html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/index.html share/${HS_PLATFORM}/${PKGNAME}/docs/pruviloj/styles.css share/${HS_PLATFORM}/${PKGNAME}/idrisdoc/styles.css share/${HS_PLATFORM}/${PKGNAME}/jsrts/Runtime-common.js share/${HS_PLATFORM}/${PKGNAME}/jsrts/Runtime-javascript.js share/${HS_PLATFORM}/${PKGNAME}/jsrts/Runtime-node.js share/${HS_PLATFORM}/${PKGNAME}/jsrts/jsbn/LICENSE share/${HS_PLATFORM}/${PKGNAME}/jsrts/jsbn/jsbn-browser.js share/${HS_PLATFORM}/${PKGNAME}/jsrts/jsbn/jsbn-node.js share/${HS_PLATFORM}/${PKGNAME}/libs/base/00base-idx.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/Arrow.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/Catchable.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/Category.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/IOExcept.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/Isomorphism.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/Monad/Identity.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/Monad/RWS.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/Monad/Reader.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/Monad/State.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/Monad/Trans.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Control/Monad/Writer.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Bits.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Buffer.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Complex.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Erased.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Fin.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/HVect.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/IORef.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/List.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/List/Quantifiers.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/List/Views.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Mod2.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Morphisms.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Nat/Views.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Primitives/Views.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/So.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/String.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/String/Views.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Vect.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Vect/Quantifiers.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Data/Vect/Views.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Debug/Error.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Debug/Trace.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Language/Reflection/Utils.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/Syntax/PreorderReasoning.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/System.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/System/Concurrency/Channels.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/System/Concurrency/Raw.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/base/System/Info.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/00contrib-idx.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/CFFI.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/CFFI/Memory.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/CFFI/Types.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Algebra.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Algebra/Lattice.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Algebra/Laws.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Algebra/NumericImplementations.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Algebra/VectorSpace.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Delayed.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Isomorphism/Extra.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Isomorphism/Fin.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Isomorphism/Primitives.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Isomorphism/Vect.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Monad/Syntax.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Partial.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/Pipeline.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/ST.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Control/ST/Exception.ibc 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 share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/CoList.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Combinators.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Combinators/Applicative.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Combinators/Arrow.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Fin/Extra.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Fuel.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Fun.ibc 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/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 share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Rel.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Sign.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/SortedBag.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/SortedMap.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/SortedSet.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Storable.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/Stream/Extra.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/String/Extra.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Data/ZZ.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Decidable/Decidable.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Decidable/Order.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Interfaces/Correlative.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Interfaces/Proposition.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Interfaces/Verified.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Language/JSON.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Language/JSON/Data.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Language/JSON/Lexer.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Language/JSON/Parser.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Language/JSON/String.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Language/JSON/String/Lexer.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Language/JSON/String/Parser.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Language/JSON/String/Tokens.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Language/JSON/Tokens.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Network/Cgi.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Network/Socket.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Network/Socket/Data.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Network/Socket/Raw.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/System/Concurrency/Process.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Test/Unit.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Test/Unit/Assertions.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Test/Unit/Display.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Test/Unit/Generic.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Test/Unit/Runners.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/Lexer.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/Lexer/Core.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/Literate.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/Parser.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/Parser/Core.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/PrettyPrint/WL.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/PrettyPrint/WL/Characters.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/PrettyPrint/WL/Combinators.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/PrettyPrint/WL/Core.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/Quantity.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/contrib/Text/Token.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/00effects-idx.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Default.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Exception.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/File.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Logging/Category.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Logging/Default.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Logging/Level.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Memory.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Monad.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Perf.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Random.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Select.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/State.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/StdIO.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/System.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effect/Trans.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/effects/Effects.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/00prelude-idx.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Builtins.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Decidable/Equality.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/IO.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Language/Reflection.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Language/Reflection/Elab.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Language/Reflection/Errors.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Algebra.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Applicative.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Basics.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Bits.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Bool.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Cast.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Chars.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Doubles.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Either.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/File.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Foldable.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Functor.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Interactive.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Interfaces.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/List.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Maybe.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Monad.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Nat.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Pairs.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Providers.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Show.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Stream.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Strings.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Traversable.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/Uninhabited.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/prelude/Prelude/WellFounded.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/00pruviloj-idx.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/Pruviloj.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/Pruviloj/Core.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/Pruviloj/Derive/DecEq.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/Pruviloj/Derive/Eliminators.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/Pruviloj/Disjoint.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/Pruviloj/Induction.ibc share/${HS_PLATFORM}/${PKGNAME}/libs/pruviloj/Pruviloj/Injective.ibc 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 share/${HS_PLATFORM}/${PKGNAME}/rts/idris_gmp.c share/${HS_PLATFORM}/${PKGNAME}/rts/idris_gmp.h share/${HS_PLATFORM}/${PKGNAME}/rts/idris_heap.c share/${HS_PLATFORM}/${PKGNAME}/rts/idris_heap.h share/${HS_PLATFORM}/${PKGNAME}/rts/idris_main.c share/${HS_PLATFORM}/${PKGNAME}/rts/idris_net.c share/${HS_PLATFORM}/${PKGNAME}/rts/idris_net.h share/${HS_PLATFORM}/${PKGNAME}/rts/idris_opts.c share/${HS_PLATFORM}/${PKGNAME}/rts/idris_opts.h share/${HS_PLATFORM}/${PKGNAME}/rts/idris_rts.c share/${HS_PLATFORM}/${PKGNAME}/rts/idris_rts.h share/${HS_PLATFORM}/${PKGNAME}/rts/idris_stats.c 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