@cwd /usr/pkg
@name idris-1.3.4nb13
@blddep ghc-9.10.1nb4
@pkgdep ghc>=9.10.1nb4
@blddep gmp-6.3.0
@pkgdep gmp>=5.0.1
@blddep hs-aeson-2.2.3.0nb3
@pkgdep hs-aeson>=2.2.3.0nb3
@blddep hs-annotated-wl-pprint-0.7.0nb11
@pkgdep hs-annotated-wl-pprint>=0.7.0nb11
@blddep hs-ansi-terminal-1.1.2nb3
@pkgdep hs-ansi-terminal>=1.1.2nb3
@blddep hs-ansi-wl-pprint-1.0.2nb5
@pkgdep hs-ansi-wl-pprint>=1.0.2nb5
@blddep hs-async-2.2.5nb4
@pkgdep hs-async>=2.2.5nb4
@blddep hs-base64-bytestring-1.2.1.0nb9
@pkgdep hs-base64-bytestring>=1.2.1.0nb9
@blddep hs-blaze-html-0.9.2.0nb4
@pkgdep hs-blaze-html>=0.9.2.0nb4
@blddep hs-blaze-markup-0.8.3.0nb4
@pkgdep hs-blaze-markup>=0.8.3.0nb4
@blddep hs-cheapskate-0.1.1.2nb11
@pkgdep hs-cheapskate>=0.1.1.2nb11
@blddep hs-code-page-0.2.1nb11
@pkgdep hs-code-page>=0.2.1nb11
@blddep hs-fingertree-0.1.5.0nb11
@pkgdep hs-fingertree>=0.1.5.0nb11
@blddep hs-fsnotify-0.4.1.0nb7
@pkgdep hs-fsnotify>=0.4.1.0nb7
@blddep hs-ieee754-0.8.0nb11
@pkgdep hs-ieee754>=0.8.0nb11
@blddep hs-libffi-0.2.1nb7
@pkgdep hs-libffi>=0.2.1nb7
@blddep hs-megaparsec-9.7.0nb3
@pkgdep hs-megaparsec>=9.7.0nb3
@blddep hs-network-3.2.7.0nb3
@pkgdep hs-network>=3.2.7.0nb3
@blddep hs-optparse-applicative-0.18.1.0nb5
@pkgdep hs-optparse-applicative>=0.18.1.0nb5
@blddep hs-parser-combinators-1.3.0nb11
@pkgdep hs-parser-combinators>=1.3.0nb11
@blddep hs-regex-tdfa-1.3.2.2nb5
@pkgdep hs-regex-tdfa>=1.3.2.2nb5
@blddep hs-safe-0.3.21nb4
@pkgdep hs-safe>=0.3.21nb4
@blddep hs-split-0.2.5nb4
@pkgdep hs-split>=0.2.5nb4
@blddep hs-terminal-size-0.3.4nb4
@pkgdep hs-terminal-size>=0.3.4nb4
@blddep hs-uniplate-1.6.13nb11
@pkgdep hs-uniplate>=1.6.13nb11
@blddep hs-unordered-containers-0.2.20nb4
@pkgdep hs-unordered-containers>=0.2.20nb4
@blddep hs-utf8-string-1.0.2nb11
@pkgdep hs-utf8-string>=1.0.2nb11
@blddep hs-vector-0.13.2.0nb3
@pkgdep hs-vector>=0.13.2.0nb3
@blddep hs-vector-binary-instances-0.2.5.2nb12
@pkgdep hs-vector-binary-instances>=0.2.5.2nb12
@blddep hs-zip-archive-0.4.3.2nb4
@pkgdep hs-zip-archive>=0.4.3.2nb4
@blddep digest-20220214
@blddep mktools-20250213
@blddep gmake-4.4.1
@blddep cwrappers-20220403
@comment $NetBSD: PLIST,v 1.6 2024/05/02 11:51:20 pho Exp $
bin/idris
@comment MD5:befd1c47e6fbae239bbae47db21a2001
bin/idris-codegen-c
@comment MD5:2de66a81002192d901a2290ac117e549
bin/idris-codegen-javascript
@comment MD5:5e87cfec93b2d82963c48c898467531b
bin/idris-codegen-node
@comment MD5:64200b4d4d0fe60c3d645f23564d9a68
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/BuildFlags_idris.hi
@comment MD5:fec2aced71b622c4dc2016b9a3a198b0
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Bytecode.hi
@comment MD5:a4fd7825a7b921a67c6fc16579ddb3c1
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/CodegenC.hi
@comment MD5:43776edce5787bb35d198744cde46a68
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/CodegenCommon.hi
@comment MD5:9a3a42d751c1fc21d0728628d33d7d95
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/CodegenJavaScript.hi
@comment MD5:ba8d9b7f23eebad0ad303c5faa696eb6
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Compiler.hi
@comment MD5:fd43a1b8b16cc9fcc17dc9fd77e6e272
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Defunctionalise.hi
@comment MD5:79296813f23b9789f4d6f5e88743ea7d
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/DumpBC.hi
@comment MD5:e199f58e7e49e4664a73939e88545b07
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Exports.hi
@comment MD5:c4cb1f23e5d3a0d68c3ad364ca481bee
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Inliner.hi
@comment MD5:ea953252c34cab863c33517ee45fb20b
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/AST.hi
@comment MD5:cfb1900fba20112a9ef9715690f428f3
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/Codegen.hi
@comment MD5:c20bbb28d3f3c0cf64de82001493fec0
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/LangTransforms.hi
@comment MD5:6ee32615667cbdbaba8b20e7a060bfab
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/Name.hi
@comment MD5:bfb49650ddf80c87d35ef466a5d3fc03
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/PrimOp.hi
@comment MD5:607deecf9380238be50648f3f36a0c8f
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/Specialize.hi
@comment MD5:da201b4e8f779e940f6e7e7321fe5ecb
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Lang.hi
@comment MD5:e29b77bcbbf874bbc118f0ae10baac17
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/LangOpts.hi
@comment MD5:743a679898706dd1cdfee25dbdc2aba3
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Portable.hi
@comment MD5:d201738e6b8dee4e8a28cefecd3b10e2
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Simplified.hi
@comment MD5:6c76bb64f1ffc2ae32dd4e7175424c31
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/System.hi
@comment MD5:c89e5de44d86e5bb51d5c014a482b683
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/ASTUtils.hi
@comment MD5:ef9b59017ffdde770f89e4fb36add20f
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/AbsSyntax.hi
@comment MD5:a5f12c70820af4e2f60faed17e4d5b76
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/AbsSyntaxTree.hi
@comment MD5:44b0b8b94d3354fb81bab3ea9bac12dc
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Apropos.hi
@comment MD5:991e0d5872d355547927a08932e0b1e3
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/CaseSplit.hi
@comment MD5:b55a0394fa05118b777ddabca4ffd0c9
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Chaser.hi
@comment MD5:b8d051ef13f47b770f453e70aa02ca0c
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/CmdOptions.hi
@comment MD5:73e20dc6b3477e150e41560fda151ebd
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Colours.hi
@comment MD5:2abe8de78e201046599eba692da49ea4
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Completion.hi
@comment MD5:fb3d05ce39dc2aeae01c8b23bf1a4357
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Binary.hi
@comment MD5:89c9acd56be2cda081725b1ca6846423
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/CaseTree.hi
@comment MD5:d361a84b80d20e2637aa961f7b000007
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Constraints.hi
@comment MD5:64b3a583d4614fc34606b50d9817d376
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/DeepSeq.hi
@comment MD5:9f5aaa2a34f219225d84e001d795815b
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Elaborate.hi
@comment MD5:2cc3003b11ef9e04c18d525e527a4682
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Evaluate.hi
@comment MD5:56de244daf6f9eb3fe4ee641adbeacba
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Execute.hi
@comment MD5:c94cb548c313c7a008a640a8667d6a82
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/ProofState.hi
@comment MD5:2e449f788a54fa7ec32726a7c2fa62ab
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/ProofTerm.hi
@comment MD5:1516be7b17f10e1969f1647180ed7958
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/TT.hi
@comment MD5:02bd8643f9e5c846bbdc1f1e36ac0b0a
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Typecheck.hi
@comment MD5:2542b8f035ca027689938fd5ff8768e3
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Unify.hi
@comment MD5:d740033c1f6c82c607af30d320e90326
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/WHNF.hi
@comment MD5:2632130f07c17c6f89bea8fe60012502
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Coverage.hi
@comment MD5:ef2826777e3b8fb4b91f20acc13f6bd3
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/DSL.hi
@comment MD5:e5c089d40db0fd8eb61260f3d849a77e
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/DataOpts.hi
@comment MD5:1a64f131419d1ced9e3d89b1b1d26910
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/DeepSeq.hi
@comment MD5:08971780820674f6481d1d693612d668
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Delaborate.hi
@comment MD5:9f17e95294efde6cb4a77f011343e233
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Directives.hi
@comment MD5:b5f3844154aa6bf78d270c88f5c76b53
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Docs.hi
@comment MD5:4af8c3fcc53e9ce502863f07928fa28a
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Docstrings.hi
@comment MD5:b652397778d5d270ae2edb300350289f
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/AsPat.hi
@comment MD5:82bc317b03b41ad77ddccb00c0e3758f
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Clause.hi
@comment MD5:7e3094b75e06d729faf603b9027fc010
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Data.hi
@comment MD5:0ec150c9bdcb3f84b915b90a84258148
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Implementation.hi
@comment MD5:b8e5575e48e46df63886e809c26a6c08
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Interface.hi
@comment MD5:48608ac2a130073b86e9a035649c85b1
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Provider.hi
@comment MD5:10e8b00143690612baaf5c9781630095
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Quasiquote.hi
@comment MD5:104e5cc31232027366ea6316a528aa3d
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Record.hi
@comment MD5:b118bd36d7874f0aa5d47b5a82d81863
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Rewrite.hi
@comment MD5:367c27c347eb5126b89f3a62e432243f
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/RunElab.hi
@comment MD5:75fedb0a475418fc3e0d7aeb0a813a9f
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Term.hi
@comment MD5:df054287371c999a8e5042c9e64a02b1
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Transform.hi
@comment MD5:82eba6c58dc0a70ada7d7368d55a0abe
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Type.hi
@comment MD5:5b0894e986220b6b17f0e39e9d642705
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Utils.hi
@comment MD5:509b521a9fdfa11e888d8da91689b4d2
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Value.hi
@comment MD5:47217c168daa9b8a073ad15c51afb60a
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/ElabDecls.hi
@comment MD5:3410369ebf1e5ad5270ab1a959728f7c
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Erasure.hi
@comment MD5:1d73c39ef6f38d46e3744df3a4300f7b
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/ErrReverse.hi
@comment MD5:0950f64ca0c48122ee87faa3e7289466
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Error.hi
@comment MD5:6f05b1b800a241337bf042cc2525dd2c
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Help.hi
@comment MD5:27560a9b06d3930d29e64b1b937c5aff
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/IBC.hi
@comment MD5:4503931e248aa0e33d9ac3c37bec8179
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/IdeMode.hi
@comment MD5:9f125dc7c4ec81e8a7ff3a190f8df0d7
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/IdrisDoc.hi
@comment MD5:50726c396c84e59b73e852ad05aab049
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Imports.hi
@comment MD5:3d4439b2947f530ef53a5a61acd9c888
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Info.hi
@comment MD5:bbd03794bffa62e516009102b0657a3d
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Info/Show.hi
@comment MD5:aa2ee097108f8e4679ead10b744b0c74
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Inliner.hi
@comment MD5:7e0d2e8c3ea1cef371fd82d3a76b04f4
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Interactive.hi
@comment MD5:dea2d2868e108c83aa68b02b13fd821d
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Main.hi
@comment MD5:452df7a4734d1d9a5574ba650a9551bb
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/ModeCommon.hi
@comment MD5:46cf8095b25988580d804a72a39b03af
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Options.hi
@comment MD5:f0b34e745acb712af680f091a7310aee
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Output.hi
@comment MD5:f2095d6ba34f2437aff8edea0e3205f6
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Package.hi
@comment MD5:4bd79e4d09d7c6a600a8fcf77ed4c935
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Package/Common.hi
@comment MD5:97577369070135d848dae257d7d86afd
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Package/Parser.hi
@comment MD5:60a3fd24dbaf4f1410339d7ed7802151
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser.hi
@comment MD5:fcba9ec04381ec61b917957be3f6d257
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser/Data.hi
@comment MD5:b5879083141ff8da6f4716b29b481408
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser/Expr.hi
@comment MD5:89f743e2e148350d858e3ccc0029cbe0
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser/Helpers.hi
@comment MD5:c8aecbbb46b18cb44108ea02408f03c6
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser/Ops.hi
@comment MD5:668bee90225b1ba5b27dc27133e24dac
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser/Stack.hi
@comment MD5:40734f6069bf0bdf542e39a81c05033e
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/PartialEval.hi
@comment MD5:9320d7160844dfa5941663dff87905b4
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Primitives.hi
@comment MD5:8bf9041fe9c8490dc1907e04bf3a95fe
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/ProofSearch.hi
@comment MD5:3d79c4cbe26df54eeeb359ac4719870a
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Prover.hi
@comment MD5:2e217846f1e5011382655556560a1333
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Providers.hi
@comment MD5:c21a85b9bb3a3d30e5103d976b7a7713
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/REPL.hi
@comment MD5:7b859b58310484e7fca8cd998f94c118
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/REPL/Browse.hi
@comment MD5:7e282687bb1ed531705226ace5ca52dd
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/REPL/Commands.hi
@comment MD5:a20dca53d34fe37ffcd6b6eaf0d9f599
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/REPL/Parser.hi
@comment MD5:e941fedf8e2f502980d76166be95c550
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Reflection.hi
@comment MD5:9d822398c319c0b681c3fbb5da4ddf75
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Termination.hi
@comment MD5:b6021ac19b2047bc9f33e7c99d3fa0e9
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Transforms.hi
@comment MD5:9857f90e9c7856e4b7dbca75ce2ea1f3
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/TypeSearch.hi
@comment MD5:7b3770fedc5ca5081068a494dd9e46ba
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Unlit.hi
@comment MD5:864b6edffbc9249abb462f034293dd17
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/WhoCalls.hi
@comment MD5:7a6cc92a29521ea45063e784c4deb086
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Paths_idris.hi
@comment MD5:77feca4434b103087e28c4f149615773
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Tools_idris.hi
@comment MD5:6f91978ae10ab9c01ed049989554aa9d
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Util/DynamicLinker.hi
@comment MD5:d3dc8e873394b1feb6d64497de601055
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Util/Net.hi
@comment MD5:099fa5bcb91d2f455ced6a481845ba90
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Util/Pretty.hi
@comment MD5:48c134edac97bc6927b936573fd215e5
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Util/ScreenSize.hi
@comment MD5:9862316ae4bac229e8a0c06b1b838b25
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Util/System.hi
@comment MD5:0e4b0dfc01e4036bcabb8bcef4411b20
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Version_idris.hi
@comment MD5:6045558d2bac09dfdd636726f8ecebfc
lib/aarch64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/libHSidris-1.3.4-CzetPXHz9szL2e7hoCyB4A.a
@comment MD5:42a38f50d07f72861b3fa518c7a0dd14
lib/idris-1.3.4/ghc-9.10.1/package-description
@comment MD5:33dd43f970f230613662839ca86381df
lib/idris-1.3.4/ghc-9.10.1/package-id
@comment MD5:5aa8b33d81f17f3536b9ca40f482d89a
man/man1/idris.1
@comment MD5:8165923b236d04d944a1ce68a7061133
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/IdrisDoc
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Arrow.html
@comment MD5:e4b668e755ac1b0f7e0c5a513085d25d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Catchable.html
@comment MD5:fe633ff80ea6c01da629211015baf279
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.IOExcept.html
@comment MD5:1bcd9035d57cda3f3c9df3de181a3cbc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Isomorphism.Iso.html
@comment MD5:dcf3f7c4b431d83d42a80a7bc85c3b61
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Isomorphism.html
@comment MD5:78c67e37ac2211be29884ec43e1ff247
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Monad.Identity.html
@comment MD5:a262a61ebe1751c42b35f3941e6f8a07
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Monad.RWS.html
@comment MD5:83705a0a0cd854803109caeaf901374f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Monad.Reader.html
@comment MD5:a8d4391cd27cbebabee0184341b353a9
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Monad.State.html
@comment MD5:d7543e5cb974a4a5f22db25b1235beef
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Monad.Writer.html
@comment MD5:b540f4f7bc63308d2cd4ffb87d7b3a00
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Bits.html
@comment MD5:4a30babedef85cea1b4b61fb9c0fe39a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Buffer.html
@comment MD5:1cbf83c9e20bb69eb5caa39dae46f827
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Complex.html
@comment MD5:71c615e99c02d140acc63257c99f42bd
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Erased.html
@comment MD5:958dfa37fcb460a87db8535e426e7923
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Fin.html
@comment MD5:b20a9ba294af21652fe1156e517f31c7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.HVect.html
@comment MD5:35e159e52d30f8335e896ef4e5f4dfbf
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.IORef.html
@comment MD5:7344db0165cd2621dac3fd18a68609f7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.List.Quantifiers.html
@comment MD5:8a9e0625deaef118ab06688998093c9b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.List.Views.html
@comment MD5:5b2bd9ae3f02d615b96c53385b0d435d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.List.html
@comment MD5:09849df4f304fcb495644d32659bfd85
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Mod2.html
@comment MD5:bd44dc08845ab02d9af98950b3f56d9c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Morphisms.html
@comment MD5:3a6385268d95d37a9794d4c81ff2fc82
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.String.Views.html
@comment MD5:0d758e3495524c86ba4566df6da185f6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.String.html
@comment MD5:f810aefa5ac90a97692a10cab69ccb51
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Vect.Quantifiers.html
@comment MD5:b8b890d50ac9b9f633cf97754b546028
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Vect.Views.html
@comment MD5:1ccf8590d4b5d72df906775b28f4f122
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Vect.html
@comment MD5:b541bb38cf7d8e6550a86af0378f84f3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Debug.Error.html
@comment MD5:984b7521c364e82820371a200b730de0
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Debug.Trace.html
@comment MD5:233eb51736219e29612c1e0146ba6798
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Decidable.Equality.html
@comment MD5:ecef6d3687f79df56d4c56abd87dd395
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/FFI.html
@comment MD5:8ca4c3f26059337e5de560ecb79e0383
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/FFI_C.html
@comment MD5:9cfc02396fb322b5c50d0a6f42946065
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/ForeignEnv.html
@comment MD5:43e8a27c6946b1912ad736bee3f5be3c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Language.Reflection.Elab.html
@comment MD5:94e0d5590cf5df95df3da4f2699f37e3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Language.Reflection.Errors.html
@comment MD5:17437f740fbf06adba991f0f401e0698
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Language.Reflection.Utils.html
@comment MD5:e6a607ced45e7a68bd67925134e91c5d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Language.Reflection.html
@comment MD5:03909094855326f96717d4434aa041b5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Algebra.html
@comment MD5:6e86ad816581da0300b96d67e51618d2
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Applicative.html
@comment MD5:7dfb1a9932867a0c07bec2fee1475ede
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Basics.html
@comment MD5:11b7a35f7f3160be4a61b2b21c67ae7e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Bool.html
@comment MD5:43e4f3517ebc8674372ea030155c253c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Either.html
@comment MD5:a934f1d35df6d0b9737938bdf4bebf92
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.File.html
@comment MD5:0d5133a433f6f423494628f0125d1e9d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Foldable.html
@comment MD5:36d2751403baa0ddcceab53698633fe3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Functor.html
@comment MD5:22104f5644b67075f72781d7ddaa62b1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Interfaces.html
@comment MD5:8cc5126a80d2e067638630fc457a203a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.List.html
@comment MD5:b7e4c382eb02532b7df807fdc4d2b559
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Maybe.html
@comment MD5:ed08fcc468d91cd31ad7392653d4220f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Nat.html
@comment MD5:601eb71b1e79c1e7e6969a54e0d4af18
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Show.html
@comment MD5:fc7654485191d6e044c71e0361aac071
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Stream.html
@comment MD5:376a2ba74610b9f1d5a627a3e626fd0f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Strings.html
@comment MD5:7c934d1ef05af4724efc9bbda590f495
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Traversable.html
@comment MD5:1b29ae840fb1237c479b499b4bbdff99
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.WellFounded.html
@comment MD5:12eeb959169c4aed546993eb250f49ad
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/System.Concurrency.Channels.html
@comment MD5:4c2ee7d5f7e0d349639e7dc877bffd84
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/System.Info.html
@comment MD5:28c33a0a58baa6a5e74d60dc3f8bd73c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/System.html
@comment MD5:1e2c4bd0afc8d00875b6fe439b559b41
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/[builtins].html
@comment MD5:a0f85ef74d6b984bf315b2d2402d5728
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/index.html
@comment MD5:aadf7241b715c563102e83a65dd31ae6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/IdrisDoc
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Builtins.html
@comment MD5:af1eeb611410aade378bda6b9288a5e6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/CFFI.Memory.html
@comment MD5:d28dbaf1ac9fe639e0d10db903ce0bf7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/CFFI.Types.html
@comment MD5:ae543261cefb4ebcbe7e2e81ab6075b7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Algebra.Lattice.html
@comment MD5:7c1d462e5359abadb5482419d4708bc4
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Algebra.Laws.html
@comment MD5:013b2e7c7d616108de2dbc0a1f172f0c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Algebra.NumericImplementations.html
@comment MD5:1d9168ee4e48323c3bd9717141758c67
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Algebra.VectorSpace.html
@comment MD5:6f0caa8c6153e3eb2822f1896b857250
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Algebra.html
@comment MD5:90f31c2c87309cdf376f4ebed5eaf720
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Delayed.html
@comment MD5:8043b852bb0c2361b5660acc5a367bf6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.IOExcept.html
@comment MD5:1bcd9035d57cda3f3c9df3de181a3cbc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Extra.html
@comment MD5:a9e1981dfffc50a28f29fb2156164f6a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Fin.html
@comment MD5:2aeb7ee6b28b280479e7cc1d5801913b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Iso.html
@comment MD5:fc100e602c1229b728955af294b89efb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Primitives.html
@comment MD5:1067f66615f119580db56dc1cf93d4c6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Vect.html
@comment MD5:3341176ca6e2068a107541250bc5326f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.html
@comment MD5:08b70a9fb7e7bc73533fd6130c942e77
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Monad.Syntax.html
@comment MD5:b4178c037050738238b1d5a641b95c3f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Partial.html
@comment MD5:c729a330f083c414f1c31b3652a69c08
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Pipeline.html
@comment MD5:197f3b8ec80d824ea861524d150a7886
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Env.html
@comment MD5:0b65b9fb1174743afb0c08d971850702
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Exception.html
@comment MD5:d99f36ce6fb2ab9545d302323bd35b6d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.File.html
@comment MD5:85937df9f9f9dff102e8589d4339ac19
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.ImplicitCall.html
@comment MD5:e7313ac187d6ba08bd40d82d56285af8
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Loop.html
@comment MD5:27f29403429de6f64f09e0ae5e06f2e3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Random.html
@comment MD5:3ec481dcbf2b5a341145ed5df9360c40
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Resources.html
@comment MD5:0eabfd87edb479b6668ffe47ba130bd2
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Stable.html
@comment MD5:9d38e9a8f88554b0aa4c4f5f2c0d3fde
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.VarList.html
@comment MD5:78adf43d64c1795425ebd37b9d2f70ef
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.html
@comment MD5:1fa38117ada6dbe373c19d7c040aaf8e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Bool.Algebra.html
@comment MD5:b7833d37968c9c95e2d1280001fa56b8
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.BoundedList.html
@comment MD5:a5ee5f3aabb7e2b9ea25d6270f3589eb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Chain.html
@comment MD5:edee76cf540a5045c94f5bf40cd40b00
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.CoList.html
@comment MD5:85762add8781fe0c39de10a2e7f2866a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Combinators.Applicative.html
@comment MD5:7efcaaad3943de17a031151d7446e81e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Combinators.html
@comment MD5:2a437acb60441266d473ca2267224c09
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Fin.Extra.html
@comment MD5:39b0fe8c79bfeb7ea00cbbaa1bb7cf7b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Fin.html
@comment MD5:b20a9ba294af21652fe1156e517f31c7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Fuel.html
@comment MD5:14b87a4a8d15122800bca718617f559f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Fun.html
@comment MD5:6603437e9666532c57f6959716aaf8d0
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Hash.html
@comment MD5:c6a53462a582ebb0ad22a36b3f5e8943
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.IOArray.html
@comment MD5:1f2eb33ba17ad21e5fb29dec00f79133
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.List.Reverse.html
@comment MD5:10ab48e61f5bc1e0de83a21b86327645
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.List.Zipper.html
@comment MD5:58a95525f05091320a9277b4b0b44303
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Matrix.Algebraic.html
@comment MD5:a62e47e2700a0fc0a6688f612d2cb358
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Matrix.Numeric.html
@comment MD5:a96d48dd13badc372edc0558df46caeb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Matrix.html
@comment MD5:6ea4d8b451d91856770fcedd95e7cd35
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Morphisms.html
@comment MD5:3a6385268d95d37a9794d4c81ff2fc82
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.DivMod.IteratedSubtraction.html
@comment MD5:cb380ee4da5a2b31d843f353ad7505e0
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.DivMod.html
@comment MD5:a16571c13b8dcdb03124d11d0fd5b011
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.Fact.html
@comment MD5:d3e7c6e02523e7109b7907228b1cc6af
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.Fib.html
@comment MD5:29de77aad7b6c8ab226a2c878816c8fe
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.Parity.html
@comment MD5:22dbe7ea64b654ba79d651d70d19ebfc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.html
@comment MD5:6c02d19fbbdef740ea24e3832bcf1d9a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Pairs.Implicit.html
@comment MD5:129e8eeefb5ab008d99f5954a54ce778
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.PosNat.html
@comment MD5:284bfde8667bf6fa972d2320441e1afc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Rel.html
@comment MD5:be0512b1593db39b531ce795d3a9d9bb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.SortedBag.html
@comment MD5:53567459ae26c8d4731fc0c1916917cd
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.SortedSet.html
@comment MD5:298540be27023b89071486f6561974ba
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Storable.html
@comment MD5:8545e6b45b484a09f40e0c98bf4e0ae1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Stream.Extra.html
@comment MD5:03bc9881b5db85be9fe5d539f2db498d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.String.Extra.html
@comment MD5:a9f3eb778c77a125719274d164b893a9
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Vect.html
@comment MD5:b541bb38cf7d8e6550a86af0378f84f3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Decidable.Decidable.html
@comment MD5:63714149ba20644b64429e36cacb8903
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Decidable.Equality.html
@comment MD5:ecef6d3687f79df56d4c56abd87dd395
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Decidable.Order.html
@comment MD5:6695957c00e84c2228cf0812b5caacf2
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/FFI.html
@comment MD5:8ca4c3f26059337e5de560ecb79e0383
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/FFI_C.html
@comment MD5:9cfc02396fb322b5c50d0a6f42946065
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/ForeignEnv.html
@comment MD5:43e8a27c6946b1912ad736bee3f5be3c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Interfaces.Correlative.html
@comment MD5:48f2566010363ba459ce7f8594f86777
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Interfaces.Proposition.html
@comment MD5:1769315bff011de46a7e259c1374312c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Language.JSON.Data.html
@comment MD5:7e56b2496dfe8864340e316bf2b109de
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Language.JSON.html
@comment MD5:481b4e01be06d748ea23db1599e0dbc7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Language.Reflection.Elab.html
@comment MD5:94e0d5590cf5df95df3da4f2699f37e3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Language.Reflection.Errors.html
@comment MD5:17437f740fbf06adba991f0f401e0698
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Language.Reflection.html
@comment MD5:03909094855326f96717d4434aa041b5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Network.Cgi.html
@comment MD5:29cf16ee91abb5bd44f431351de0c9b7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Network.Socket.Data.html
@comment MD5:ee501ab307e67f7fe8564333a3c93ed7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Network.Socket.html
@comment MD5:12be274cbc44385fde5fc80240fe87fb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Algebra.html
@comment MD5:6e86ad816581da0300b96d67e51618d2
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Applicative.html
@comment MD5:7dfb1a9932867a0c07bec2fee1475ede
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Basics.html
@comment MD5:11b7a35f7f3160be4a61b2b21c67ae7e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Bool.html
@comment MD5:43e4f3517ebc8674372ea030155c253c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Either.html
@comment MD5:a934f1d35df6d0b9737938bdf4bebf92
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.File.html
@comment MD5:0d5133a433f6f423494628f0125d1e9d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Foldable.html
@comment MD5:36d2751403baa0ddcceab53698633fe3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Functor.html
@comment MD5:22104f5644b67075f72781d7ddaa62b1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Interfaces.html
@comment MD5:8cc5126a80d2e067638630fc457a203a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.List.html
@comment MD5:b7e4c382eb02532b7df807fdc4d2b559
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Maybe.html
@comment MD5:ed08fcc468d91cd31ad7392653d4220f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Monad.html
@comment MD5:eaa55e6b412e01128b723324a395028b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Nat.html
@comment MD5:601eb71b1e79c1e7e6969a54e0d4af18
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Pairs.Exists.html
@comment MD5:01cd3cd07be795afc317496eb9644b2e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Pairs.html
@comment MD5:31571d2452890022e751b5adf2e67b5d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Show.html
@comment MD5:fc7654485191d6e044c71e0361aac071
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Stream.html
@comment MD5:376a2ba74610b9f1d5a627a3e626fd0f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Traversable.html
@comment MD5:1b29ae840fb1237c479b499b4bbdff99
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.WellFounded.html
@comment MD5:12eeb959169c4aed546993eb250f49ad
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.html
@comment MD5:77f0048eec5432735148bda9871fec79
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/System.Concurrency.Process.html
@comment MD5:52ce23dfe695654bdd1c46deeaa8711a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Test.Unit.Assertions.html
@comment MD5:11a66b6762d21594a4d00c2b2bd55850
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Test.Unit.Display.html
@comment MD5:1514ccf3e6b3eadfffc335d4c5ff9888
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Test.Unit.Generic.html
@comment MD5:9ae09da5c4c349eba719661e749c1e83
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Text.Lexer.Core.html
@comment MD5:0a1ca4b56a9a028f89cb2de693443e95
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Text.Literate.html
@comment MD5:9d20815c8439be20872786293aa5079e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Text.Quantity.html
@comment MD5:b7f74fe8938b469ebd740694206cf49f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Text.Token.html
@comment MD5:66d7064e27b276001771d3b979cef644
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/[builtins].html
@comment MD5:e5a022111b48e71da619ff3f260d2b5e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/index.html
@comment MD5:9babbe17a2d8baf045661a1677681dc5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/IdrisDoc
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Control.IOExcept.html
@comment MD5:1bcd9035d57cda3f3c9df3de181a3cbc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Data.List.html
@comment MD5:09849df4f304fcb495644d32659bfd85
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Data.So.html
@comment MD5:e00bd66e1de748f344565aa94f8cc3a1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Decidable.Equality.html
@comment MD5:ecef6d3687f79df56d4c56abd87dd395
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Exception.html
@comment MD5:db5cf2cb34ab9436de88799c0a199571
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.File.FileResult.html
@comment MD5:f406f9b9526b6000c29c74e69acda88e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.File.html
@comment MD5:8ffc8646323f29969cc6607767d645e9
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Logging.Category.LogRes.html
@comment MD5:6072048f573272dd641fa10ce6d94a4c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Logging.Category.html
@comment MD5:ad4b43f2bde16279382154bf46005d33
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Logging.Default.LogRes.html
@comment MD5:2fa54aba5ae30cc3f7f9d72d7a39c058
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Logging.Default.html
@comment MD5:4c128639725c043bc0371ae9865b51cd
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Logging.Level.html
@comment MD5:ae4b7cb3bbf591447847117546c627de
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Memory.html
@comment MD5:8c060c95d88561a7ffed2a46fec6ac34
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Monad.html
@comment MD5:9d4822648e720e109d686fffb4a44110
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Perf.html
@comment MD5:0c66f44c9cc2f8eb74ca826efe0f0bbd
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Random.html
@comment MD5:9258f1e14e241436a719d7b17f438bdf
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Select.html
@comment MD5:a1b4569a14cef350dc7d8648d60cd696
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.State.html
@comment MD5:a197be4fbbbd439ef190f81cac145a5d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.StdIO.html
@comment MD5:bfee97ea790d153461684bbc5bd37c59
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.System.html
@comment MD5:785853e713baf2a4f87ccd2aed559d20
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Trans.html
@comment MD5:a5524fd437fa40515e9a76f67ce5e5a8
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.DepEff.html
@comment MD5:5bf093e73bbc8000286b5e4353556695
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.DepUpdateEffect.html
@comment MD5:a283ac2537fd3dfe01574fca4536cdd5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.Env.html
@comment MD5:d825b5a2c57cb859be33bdc0add7315a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.NoResourceEffect.html
@comment MD5:8781297668441523d18c5cddd83cda2d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.NoUpdateEffect.html
@comment MD5:816ce393c366ec8ed8c0059bd40e364d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.SimpleEff.html
@comment MD5:a05766477a0afdc2ee0912e946dcd0d3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.TransEff.html
@comment MD5:88bb963396b56d1b938f060de13dc139
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.UpdateEffect.html
@comment MD5:aaaa3b99e208a5d92cae2261b08c7878
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.html
@comment MD5:e1fce498a4c7bea02abea2d4c84f381e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/FFI.html
@comment MD5:8ca4c3f26059337e5de560ecb79e0383
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/FFI_C.html
@comment MD5:9cfc02396fb322b5c50d0a6f42946065
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/ForeignEnv.html
@comment MD5:43e8a27c6946b1912ad736bee3f5be3c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Language.Reflection.Elab.html
@comment MD5:94e0d5590cf5df95df3da4f2699f37e3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Language.Reflection.Errors.html
@comment MD5:17437f740fbf06adba991f0f401e0698
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Language.Reflection.html
@comment MD5:03909094855326f96717d4434aa041b5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Algebra.html
@comment MD5:6e86ad816581da0300b96d67e51618d2
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Applicative.html
@comment MD5:7dfb1a9932867a0c07bec2fee1475ede
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Basics.html
@comment MD5:11b7a35f7f3160be4a61b2b21c67ae7e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Bool.html
@comment MD5:43e4f3517ebc8674372ea030155c253c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Either.html
@comment MD5:a934f1d35df6d0b9737938bdf4bebf92
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.File.html
@comment MD5:0d5133a433f6f423494628f0125d1e9d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Foldable.html
@comment MD5:36d2751403baa0ddcceab53698633fe3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Functor.html
@comment MD5:22104f5644b67075f72781d7ddaa62b1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Interfaces.html
@comment MD5:8cc5126a80d2e067638630fc457a203a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.List.html
@comment MD5:b7e4c382eb02532b7df807fdc4d2b559
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Maybe.html
@comment MD5:ed08fcc468d91cd31ad7392653d4220f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Nat.html
@comment MD5:601eb71b1e79c1e7e6969a54e0d4af18
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Show.html
@comment MD5:fc7654485191d6e044c71e0361aac071
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Stream.html
@comment MD5:376a2ba74610b9f1d5a627a3e626fd0f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/[builtins].html
@comment MD5:c91be17747118980c5c76a819011cc63
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/index.html
@comment MD5:c68fa0babd8fcd993caeabcdc1fd901c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/IdrisDoc
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Builtins.html
@comment MD5:af1eeb611410aade378bda6b9288a5e6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Decidable.Equality.html
@comment MD5:ecef6d3687f79df56d4c56abd87dd395
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/FFI.html
@comment MD5:8ca4c3f26059337e5de560ecb79e0383
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/FFI_C.html
@comment MD5:9cfc02396fb322b5c50d0a6f42946065
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/ForeignEnv.html
@comment MD5:43e8a27c6946b1912ad736bee3f5be3c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/IO.html
@comment MD5:df27d0d95455e53b1e9e5619f50f09f9
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Language.Reflection.Elab.html
@comment MD5:94e0d5590cf5df95df3da4f2699f37e3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Language.Reflection.Errors.html
@comment MD5:17437f740fbf06adba991f0f401e0698
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Language.Reflection.html
@comment MD5:03909094855326f96717d4434aa041b5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Algebra.html
@comment MD5:6e86ad816581da0300b96d67e51618d2
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Applicative.html
@comment MD5:7dfb1a9932867a0c07bec2fee1475ede
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Basics.html
@comment MD5:11b7a35f7f3160be4a61b2b21c67ae7e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Bits.html
@comment MD5:cf3e27c81a656fb7efe62918112b0335
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Bool.html
@comment MD5:43e4f3517ebc8674372ea030155c253c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Cast.html
@comment MD5:485e824c154332f69afae544bfbd8f2a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Chars.html
@comment MD5:6f05060676e25d2eaa72f9cb238fd1cc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Doubles.html
@comment MD5:352193b73c9fe69390ec582c9b0cbced
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Either.html
@comment MD5:a934f1d35df6d0b9737938bdf4bebf92
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.File.html
@comment MD5:0d5133a433f6f423494628f0125d1e9d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Foldable.html
@comment MD5:36d2751403baa0ddcceab53698633fe3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Functor.html
@comment MD5:22104f5644b67075f72781d7ddaa62b1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Interactive.html
@comment MD5:6a58421460b7e6ac0496f5048be0aef5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Interfaces.html
@comment MD5:8cc5126a80d2e067638630fc457a203a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.List.html
@comment MD5:b7e4c382eb02532b7df807fdc4d2b559
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Maybe.html
@comment MD5:ed08fcc468d91cd31ad7392653d4220f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Monad.html
@comment MD5:eaa55e6b412e01128b723324a395028b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Nat.html
@comment MD5:601eb71b1e79c1e7e6969a54e0d4af18
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Pairs.html
@comment MD5:31571d2452890022e751b5adf2e67b5d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Providers.html
@comment MD5:d408e500d37f68f78b909fa0175494cc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Show.html
@comment MD5:fc7654485191d6e044c71e0361aac071
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Stream.html
@comment MD5:376a2ba74610b9f1d5a627a3e626fd0f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Strings.html
@comment MD5:7c934d1ef05af4724efc9bbda590f495
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Traversable.html
@comment MD5:1b29ae840fb1237c479b499b4bbdff99
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Uninhabited.html
@comment MD5:e025002325a07edf5d56b4baba4a2aa8
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.WellFounded.html
@comment MD5:12eeb959169c4aed546993eb250f49ad
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.html
@comment MD5:77f0048eec5432735148bda9871fec79
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/[builtins].html
@comment MD5:41c91336b0067393da35a4d33b786e84
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/index.html
@comment MD5:43340affa30efb2743713a7c73220538
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/IdrisDoc
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Decidable.Equality.html
@comment MD5:ecef6d3687f79df56d4c56abd87dd395
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/FFI.html
@comment MD5:8ca4c3f26059337e5de560ecb79e0383
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/FFI_C.html
@comment MD5:9cfc02396fb322b5c50d0a6f42946065
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/ForeignEnv.html
@comment MD5:43e8a27c6946b1912ad736bee3f5be3c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Language.Reflection.Elab.html
@comment MD5:94e0d5590cf5df95df3da4f2699f37e3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Language.Reflection.Errors.html
@comment MD5:17437f740fbf06adba991f0f401e0698
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Language.Reflection.html
@comment MD5:03909094855326f96717d4434aa041b5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Algebra.html
@comment MD5:6e86ad816581da0300b96d67e51618d2
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Applicative.html
@comment MD5:7dfb1a9932867a0c07bec2fee1475ede
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Basics.html
@comment MD5:11b7a35f7f3160be4a61b2b21c67ae7e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Bool.html
@comment MD5:43e4f3517ebc8674372ea030155c253c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Either.html
@comment MD5:a934f1d35df6d0b9737938bdf4bebf92
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.File.html
@comment MD5:0d5133a433f6f423494628f0125d1e9d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Foldable.html
@comment MD5:36d2751403baa0ddcceab53698633fe3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Functor.html
@comment MD5:22104f5644b67075f72781d7ddaa62b1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Interfaces.html
@comment MD5:8cc5126a80d2e067638630fc457a203a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.List.html
@comment MD5:b7e4c382eb02532b7df807fdc4d2b559
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Maybe.html
@comment MD5:ed08fcc468d91cd31ad7392653d4220f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Nat.html
@comment MD5:601eb71b1e79c1e7e6969a54e0d4af18
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Show.html
@comment MD5:fc7654485191d6e044c71e0361aac071
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Stream.html
@comment MD5:376a2ba74610b9f1d5a627a3e626fd0f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Pruviloj.Derive.DecEq.html
@comment MD5:8e6597eb682c96a716bcef9d20b4e48b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Pruviloj.Internals.TyConInfo.html
@comment MD5:7242afd8c1684c0e2fed3bcf2df1f760
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/[builtins].html
@comment MD5:ffd891c7d0ed020df2a8cc0717d83381
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/index.html
@comment MD5:246e1257606f19a5e7b473a5c1347f0c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/idrisdoc/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/Runtime-common.js
@comment MD5:6d7085bb3b5d9eb77352b63aa2de2227
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/Runtime-javascript.js
@comment MD5:d137909a852e960457e39143692451e3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/Runtime-node.js
@comment MD5:0dcb18622bd29a88d855b1a94dfcbbf1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/jsbn/LICENSE
@comment MD5:32052d48bacabd1c02e56c6889082a27
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/jsbn/jsbn-browser.js
@comment MD5:a0a800047f0e0856634b4d49ac00f8ac
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/jsbn/jsbn-node.js
@comment MD5:9c59111435775a21d3bf6e5e177d0cdc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/00base-idx.ibc
@comment MD5:f7f6595ffbf38f5383131e2ba430dc5b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Arrow.ibc
@comment MD5:566762d327529160b369c383dbdaa2e1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Catchable.ibc
@comment MD5:82884f1ad97fe22a7002baed4114ba03
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Category.ibc
@comment MD5:9da5661a03d86f646f918a04c61dc228
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/IOExcept.ibc
@comment MD5:a25be4109af05dfa476df4779287e3ca
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Isomorphism.ibc
@comment MD5:8b6f08d4d8fd71974cc9803e727d1125
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/Identity.ibc
@comment MD5:b4a1973cf0a3394c08ebe34e7bc44ccf
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/RWS.ibc
@comment MD5:adf6435f0b8f5956a39b3a62b19c583c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/Reader.ibc
@comment MD5:9abbcf5a7bf8fe86f2b7bf564608e2db
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/State.ibc
@comment MD5:3f2c6797b207b88e3e8acb91e41888ad
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/Trans.ibc
@comment MD5:b26376b023c396d97838f32eea749386
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/Writer.ibc
@comment MD5:3532545998fd0658765e8a606f35c9b1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Bits.ibc
@comment MD5:c5c142108ad9b9a23a98b34d4a57ff90
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Buffer.ibc
@comment MD5:3cc45f05d86d3ac50a40cc017d1ac30e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Complex.ibc
@comment MD5:f091baca8dbd4a21ed3cdef978f1d5d1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Erased.ibc
@comment MD5:310f15d2f1f0bc2b3367b8033da9c5bb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Fin.ibc
@comment MD5:ee356de6e32bf5a8143ec8276b1a6d1a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/HVect.ibc
@comment MD5:585ce41b150447718dbd502ae960f86f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/IORef.ibc
@comment MD5:2f099ed320e62605648a1a8ab11fcc05
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/List.ibc
@comment MD5:f9038930d9f5a68abb76b6eb8812404d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/List/Quantifiers.ibc
@comment MD5:f5d4d1f17a205ef80d9f42afe1b95fb7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/List/Views.ibc
@comment MD5:f5c992edd373bfd6b1c7a88aa9b68864
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Mod2.ibc
@comment MD5:f7a772a51f9f3d2fc2a0fe840bf8f987
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Morphisms.ibc
@comment MD5:72d94ef1371f1dc3a1a156712b4e788e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Nat/Views.ibc
@comment MD5:2e8cf8018755dc3d40967666120357dc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Primitives/Views.ibc
@comment MD5:4a526177a14b3faa7e0172649298b925
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/So.ibc
@comment MD5:4944c56fa79c16c0b508f4294f7bea65
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/String.ibc
@comment MD5:c79d63fbfd61887f1a9381c791f7a91a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/String/Views.ibc
@comment MD5:45ac4906b9a07b0a8628de39691e4924
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Vect.ibc
@comment MD5:81010f4d624aa651d7225be104997fb4
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Vect/Quantifiers.ibc
@comment MD5:8b56c5539181c21990969fac667f48f4
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Vect/Views.ibc
@comment MD5:ee88c35567d4333915e71b22eb828658
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Debug/Error.ibc
@comment MD5:2d6844d9e9131debfa74d2c2747c222b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Debug/Trace.ibc
@comment MD5:2376023d4069d8749574b01b3e477700
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Language/Reflection/Utils.ibc
@comment MD5:ffe111cc70f68aa9a4971c9a8c817cdb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Syntax/PreorderReasoning.ibc
@comment MD5:e22ed92fc91cd7c56d6aedd7f3c01af8
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/System.ibc
@comment MD5:aaa6fd41aa4f1b0f56f718e99639d92a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/System/Concurrency/Channels.ibc
@comment MD5:aa66fb1a51954c118b77dced12d0f4de
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/System/Concurrency/Raw.ibc
@comment MD5:dc898801429c30d89e0c79c20386a4bc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/System/Info.ibc
@comment MD5:2c6b49bf8ed14969c53c27c83417ab07
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/00contrib-idx.ibc
@comment MD5:617ad126261d702b1e6bbaa19805e3ed
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/CFFI.ibc
@comment MD5:4d3382cd74500499d9be28b08a6adebd
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/CFFI/Memory.ibc
@comment MD5:485e684109b657c8de6f5f7a41c6e8d8
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/CFFI/Types.ibc
@comment MD5:93fffdbd8da9a5e3282d427a511cabb0
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Algebra.ibc
@comment MD5:0fb3c7423fd2ea22206d30dce2a79d70
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Algebra/Lattice.ibc
@comment MD5:1cf1a02fd8e9f753147c029663d60eb7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Algebra/Laws.ibc
@comment MD5:6c885b35536f9d6bb0dcee6f879c800e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Algebra/NumericImplementations.ibc
@comment MD5:14adddd1def93ffafb492027c791ca55
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Algebra/VectorSpace.ibc
@comment MD5:559a991039ae0fd90fddd08ca9f6e9ad
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Delayed.ibc
@comment MD5:ddfc35d261dabac8d91c98fdd8d0ee4d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Isomorphism/Extra.ibc
@comment MD5:9fccdc49d4f8a040ff8838b831cd13f9
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Isomorphism/Fin.ibc
@comment MD5:80108ae01809d3b68615e1dc13e517d6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Isomorphism/Primitives.ibc
@comment MD5:aa3518695fca776529a85e695cf27d35
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Isomorphism/Vect.ibc
@comment MD5:d2616638121c87779237c70b5128aebd
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Monad/Syntax.ibc
@comment MD5:b29b3f685e1e7c80270c39f3458fe630
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Partial.ibc
@comment MD5:242b89c6b7cdc14b7a695a113aa9ee63
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Pipeline.ibc
@comment MD5:30482daf8f7df2f8af80eabc622ac6d9
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/ST.ibc
@comment MD5:0bcc9df1bd358b8ff710f4360bfabd81
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/ST/Exception.ibc
@comment MD5:c0d80358a1597a97cda288e616d50f74
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/ST/File.ibc
@comment MD5:2e21cdb128d860e4ba4fff3aecd4f7f7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/ST/ImplicitCall.ibc
@comment MD5:fd7eb7a760c08ae35811dbce8cbc4e37
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/ST/Random.ibc
@comment MD5:5ab0319dbe0507ba5cb7e56a53be6de4
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Bool/Algebra.ibc
@comment MD5:2271f5d62f580d3b2478ec4c5207ef11
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Bool/Extra.ibc
@comment MD5:80b968a90d7fa23308276f27075332c5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/BoundedList.ibc
@comment MD5:b48640169a0d5df8320a2091559d9fdd
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Chain.ibc
@comment MD5:1510618aae9077cc6150396e3c6a7701
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/CoList.ibc
@comment MD5:a0f538f0b6ccbbd5e049c1bcb6e83397
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Combinators.ibc
@comment MD5:b5df1f06e67e382b8e20be1aeb8b73b8
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Combinators/Applicative.ibc
@comment MD5:7b4d1cfd640469be866ee98d33ad1907
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Combinators/Arrow.ibc
@comment MD5:a5ef59c0b83dc56d02bd3a3dc54a9454
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Fin/Extra.ibc
@comment MD5:b06bfa99f0dbc09885dc4704d2db2f7d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Fuel.ibc
@comment MD5:69314747e92f5459edef0f166be7d6ba
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Fun.ibc
@comment MD5:3bb9094f9c16ade1e05f5b45c90be7b4
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Hash.ibc
@comment MD5:05983ee9fc02e24a574006ef5eb1898a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Heap.ibc
@comment MD5:bc4203dc63ad2efdb1d7ab35cd966b0e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/IOArray.ibc
@comment MD5:c7076f422382cc1f95e78cc2c9e5d839
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/List/Reverse.ibc
@comment MD5:b75beae3b1eefce4237390fd50219980
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/List/Zipper.ibc
@comment MD5:ddf6e1ffd5903371f808fb7dc2b7b0b1
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Matrix.ibc
@comment MD5:dbe34ecc61a1432db49644d968330297
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Matrix/Algebraic.ibc
@comment MD5:948d0fd59ff4d8fa806c9545cec9a1a0
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Matrix/Numeric.ibc
@comment MD5:e13e41a5ab9bd39c46fc51732e726742
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat.ibc
@comment MD5:6a8e04e33000868ef19142a953eeb89a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/Ack.ibc
@comment MD5:33a9d64c4d4868fc4c2cbf6ca4f65311
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/DivMod.ibc
@comment MD5:503a5bf7ee3be2e12cc62fff2b4158b3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/DivMod/IteratedSubtraction.ibc
@comment MD5:181189118606060865b17e1193bfdade
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/Fact.ibc
@comment MD5:2dc0438e762a240fc0aed502d6980e75
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/Fib.ibc
@comment MD5:98c1f082e15c43b270a642ed6b391e9d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/Parity.ibc
@comment MD5:2172b10e056dfc786bd5f5edd36cabf8
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Pairs/Implicit.ibc
@comment MD5:6adf4217fecdd566baaefe0df3a2a7a7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/PosNat.ibc
@comment MD5:bd72f039600343de0cc98b1400bb0b02
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Rel.ibc
@comment MD5:83641e52ffa7aee4c5d6d5392ecc2e6a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Sign.ibc
@comment MD5:89fac0b452d42d59376144da1132a7cb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/SortedBag.ibc
@comment MD5:7d180ceeb4a116981d73e66ab1b0ebfc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/SortedMap.ibc
@comment MD5:ec5b4c16b90e6c0d98bc2ed13351bb0a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/SortedSet.ibc
@comment MD5:23743a8c0add346bc94d51df2806b35b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Storable.ibc
@comment MD5:11826c0b4052e81fda51ee840a9f2a07
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Stream/Extra.ibc
@comment MD5:f6951e31a50a1bf375f69abad7d2ed79
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/String/Extra.ibc
@comment MD5:1f0bb9ad9ae27bbb250eaf387ec91a8f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/ZZ.ibc
@comment MD5:ee8ef05c54dad9b3f7346adac4d25ef9
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Decidable/Decidable.ibc
@comment MD5:53e81c90b606c814b27b127b93293737
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Decidable/Order.ibc
@comment MD5:295dff1750c56bf42cd8118d6021bc73
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Interfaces/Correlative.ibc
@comment MD5:6db18971f4c0d686c7916f3c6941900e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Interfaces/Proposition.ibc
@comment MD5:be99adb4f30c552006386199e0749ee6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Interfaces/Verified.ibc
@comment MD5:562dc9685d4c07999952e6f724785820
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON.ibc
@comment MD5:2cf14e22c2e6d7469ff3a650d0b57b78
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/Data.ibc
@comment MD5:bfaf86ec21f4ba92a0c5b31765a6593a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/Lexer.ibc
@comment MD5:c641d4d04aa29f8ad32999a6e7a00f16
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/Parser.ibc
@comment MD5:255274f0a82fdd9d6ca7adf2e59e552a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/String.ibc
@comment MD5:5d8a28823e988fc397c9633908492572
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/String/Lexer.ibc
@comment MD5:a30ff90aafc02165898f6fa6da328032
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/String/Parser.ibc
@comment MD5:2303fb25cb90e3f8e22dcf73429030f4
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/String/Tokens.ibc
@comment MD5:b55b7eec3b80fd503a7f773cb655f07f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/Tokens.ibc
@comment MD5:118678cb0efd898da1567a9e5e056569
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Network/Cgi.ibc
@comment MD5:d4863cf50548cb36f25817028e772b26
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Network/Socket.ibc
@comment MD5:39de8f64c80aa4d406651528ded1324f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Network/Socket/Data.ibc
@comment MD5:badfc3aeb59ea3d4ef47da8606d604ab
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Network/Socket/Raw.ibc
@comment MD5:75bc3338e1c7b60c02999a9311892980
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/System/Concurrency/Process.ibc
@comment MD5:d28ab145fd352318ba507ecbcffa69d6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Test/Unit.ibc
@comment MD5:3c958978634b5969f0b75eab53bf901b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Test/Unit/Assertions.ibc
@comment MD5:6eb69e6358d873a0b2a4ff2b13a50387
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Test/Unit/Display.ibc
@comment MD5:56eac3af10d40f9fcbd7d07dba0f859a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Test/Unit/Generic.ibc
@comment MD5:67fe0e14ab74aed346f157fc519451d0
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Test/Unit/Runners.ibc
@comment MD5:b2bab5d23a17f3a678619ecb3e4f1b08
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Lexer.ibc
@comment MD5:84f8b88794d2dd459df6780c010c356d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Lexer/Core.ibc
@comment MD5:d3181a9cb7aa6a0c01925cb5fc189a2f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Literate.ibc
@comment MD5:efbfb5852d410d45d3d8a8c81baa6fd5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Parser.ibc
@comment MD5:63670b08d58f4788ebee92ada3c7cb3b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Parser/Core.ibc
@comment MD5:61783d8eb905deb7b04cb9a8baed0484
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL.ibc
@comment MD5:a3546f0cb3cb893da37d7661149d8a8a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Characters.ibc
@comment MD5:b53598865ac44721d613445a7fb7d01d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Combinators.ibc
@comment MD5:5445246bc133f1f4ab6661d1683fdb83
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Core.ibc
@comment MD5:e3def3ae23ecb3fc12968b8fffefeb65
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Quantity.ibc
@comment MD5:4411de63f04c34079fff68bebfbd512e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Token.ibc
@comment MD5:92437c54a43162b87a5e700bb6aba5b5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/00effects-idx.ibc
@comment MD5:7501631706476322f7b5808178f7650a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Default.ibc
@comment MD5:591db3e942ec11bac99f91168789a10d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Exception.ibc
@comment MD5:c640b580728d145f842ffa5161f0c570
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/File.ibc
@comment MD5:bb62d0c31e1886cb9af40e52f3be07c8
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Logging/Category.ibc
@comment MD5:952985c8f14ea6da83518302b8cff027
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Logging/Default.ibc
@comment MD5:bb68851fa43a6b9ed46df7b38168123c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Logging/Level.ibc
@comment MD5:508f0e23b26df462260f9c0c0aeada75
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Memory.ibc
@comment MD5:b257afb28154b1754cb9d5a82d9f3d47
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Monad.ibc
@comment MD5:edf1522f0c279c5b6a01b018131fd3e9
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Perf.ibc
@comment MD5:52b301640aeab4a532b2ca3959022f52
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Random.ibc
@comment MD5:30629b59294b00f2033bbd5d30b85e89
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Select.ibc
@comment MD5:1bb8e5438e756b6f6e0d8ab7130961d4
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/State.ibc
@comment MD5:0044720466bb908c2121869d34a8f831
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/StdIO.ibc
@comment MD5:d5e1f9b4e2456e93837023993d6a6406
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/System.ibc
@comment MD5:6c994018a985336042f44f8d6a7a6020
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Trans.ibc
@comment MD5:539fb53ff1ad9834ef6507f6c41c01fb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effects.ibc
@comment MD5:73735731a58e466233caa0da95e0a6e4
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/00prelude-idx.ibc
@comment MD5:6c684a74ee7c71e1e71972fc2106dde7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Builtins.ibc
@comment MD5:53c3cc0ba0c5cb198c931db169ebdbd5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Decidable/Equality.ibc
@comment MD5:5862416e038578372ff47da31e210323
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/IO.ibc
@comment MD5:3a143702ba6695a4ed21a3759658d36d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Language/Reflection.ibc
@comment MD5:cfd0c44865d242db46f0004643d4117a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Language/Reflection/Elab.ibc
@comment MD5:28ab10bd7352862394644d9255050df0
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Language/Reflection/Errors.ibc
@comment MD5:728c1d218f07a3609f7d8f0a391fdff6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude.ibc
@comment MD5:3bf334762cb21c7b6f08a10b0e0da931
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Algebra.ibc
@comment MD5:1771d5ab0738e879ea075c50ee7a45fb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Applicative.ibc
@comment MD5:dba14e4e1a01c4e7813ae1620eeb102f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Basics.ibc
@comment MD5:3e9bfd3a8e9d27c14933e40cc6762c19
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Bits.ibc
@comment MD5:bd183210ba9594ed40e44bb928a7517c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Bool.ibc
@comment MD5:6451825dab31038f7851a3de7a2bbc6f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Cast.ibc
@comment MD5:a8ee1145988562648cde39d764e37fbc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Chars.ibc
@comment MD5:77b3f11f2ea5fad4cba790d8f6038bee
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Doubles.ibc
@comment MD5:7bcf87dd311aaf3a14692218c14620bb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Either.ibc
@comment MD5:aca4a0be7d55b1ef644e24da0110287a
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/File.ibc
@comment MD5:031cd093bab4fb20faa1792a04ea7d14
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Foldable.ibc
@comment MD5:4367e321306ffae4d211df308166cdff
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Functor.ibc
@comment MD5:208563ec13ab06a063ca1fc1f3e69fd5
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Interactive.ibc
@comment MD5:19864502afe502e7c743ab263530e28c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Interfaces.ibc
@comment MD5:7ccdc6a362e7e4c800007bc2cd7884c4
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/List.ibc
@comment MD5:6097ca7b437e682a9c3b03fef8b1a981
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Maybe.ibc
@comment MD5:3f3013d0644dd56c13c974f478802e9d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Monad.ibc
@comment MD5:2e173c399cf52fc0f0521550e7283c55
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Nat.ibc
@comment MD5:0929cf010f0d2250531fa2d8281ee54b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Pairs.ibc
@comment MD5:ebc4958a09b50785cd111d79470ab758
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Providers.ibc
@comment MD5:b69a76916170d80301016b5aecf08966
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Show.ibc
@comment MD5:5a7ac782d8a6bd288665c0c300326991
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Stream.ibc
@comment MD5:af266ffdd1a513e7ff32523df5f8d399
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Strings.ibc
@comment MD5:f105de6b232cdcb642905fe9ed4a32dc
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Traversable.ibc
@comment MD5:381f7c726b42cc89132f8331a80cef7f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Uninhabited.ibc
@comment MD5:c110955bd3e68ed5fafc6d3d2ca9fdea
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/WellFounded.ibc
@comment MD5:1d47b5247e5983c13f7520b1922366ae
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/00pruviloj-idx.ibc
@comment MD5:70acb2f889efdb0bf939ed85572f84da
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj.ibc
@comment MD5:1906728f6e91dd2e3e458667c07c6766
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Core.ibc
@comment MD5:1325c303a604198f6d3f6daabd4bae94
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Derive/DecEq.ibc
@comment MD5:9a11bf922f32d6f81ede4178b56cefcd
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Derive/Eliminators.ibc
@comment MD5:7057e15eb70944451359da2b23b70d49
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Disjoint.ibc
@comment MD5:9e8dab0bdc9de6176b85aa23f2526d0f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Induction.ibc
@comment MD5:58257a06c05b23c200297e99e8896d88
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Injective.ibc
@comment MD5:1a20af211f471f82520148e79a54729f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Internals.ibc
@comment MD5:281eb4315d5e69b3fbf07f3f1827a080
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Internals/TyConInfo.ibc
@comment MD5:6dc9f31ebed09e05031d93b5f82fe05e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Renamers.ibc
@comment MD5:230a3cdafaf0c5f95dbc2088281fcfe6
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/Makefile
@comment MD5:72723db3e4396ea859ddd923beaeb5e4
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/arduino/idris_main.c
@comment MD5:68d0ba88fa4d0eb360b0fbaa6d313612
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/getline.c
@comment MD5:148b6c50da97e51a91c0977733d641cd
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/getline.h
@comment MD5:e89d60e7d88c1cacc10b3c7b1fd45e7b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_bitstring.c
@comment MD5:3d00e98d060cc2ba508c8267ef2cdd2f
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_bitstring.h
@comment MD5:79c079b505af10835acf73eb3025f516
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_buffer.c
@comment MD5:c522fc9d6841f8a727851c8c2a89dc0e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_buffer.h
@comment MD5:87fee08d112b349a54b4f64e9fab6f5e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_gc.c
@comment MD5:1bcd3b98e148792117576445c2b02dcf
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_gc.h
@comment MD5:5989f66d42993aed8e9daa54fe772d39
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_gmp.c
@comment MD5:65aad918a1861ac66025073f4ea61a87
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_gmp.h
@comment MD5:08e7de9e55a5562866f98c981cf8e8a3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_heap.c
@comment MD5:112304c6d3aecee6ef7f080cff66ff96
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_heap.h
@comment MD5:010dcdf2a502475d9bdc64e1626984b7
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_main.c
@comment MD5:c891dd82b5b45a538a594918f1672591
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_net.c
@comment MD5:fe14bf2f5fd006880981155cd407be3c
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_net.h
@comment MD5:2ff4975df3558ada5ea2be7fb6182b50
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_opts.c
@comment MD5:f32eff8ee011d0b3011b00c56f270043
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_opts.h
@comment MD5:9de2517a734cbd6493596d17c1326015
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_rts.c
@comment MD5:2e551e3692d7887ce3fefab712110839
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_rts.h
@comment MD5:f7f12114ca137090384da09b78a94fcd
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_stats.c
@comment MD5:94632aea9ab256bed854a3193df31b95
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_stats.h
@comment MD5:56af2a7b4e5dffcdb96fb206b4b52c4b
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_stdfgn.c
@comment MD5:6658105ae02b64bfc9ce43c6f4646827
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_stdfgn.h
@comment MD5:783f152c7a88a76e4e88b4e07984782d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_utf8.c
@comment MD5:f117953440071478a282900ed7155c17
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_utf8.h
@comment MD5:bdfdb58edcdb44af4e138687be8c61e3
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/libidris_rts.a
@comment MD5:e7b9aefe7cd1a43c2fbeb1389f8037f8
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/libtest.c
@comment MD5:f881137628fc8dd673b761eb7a1e2432
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/mini-gmp.c
@comment MD5:b0ae33123cbee4db3247456a4e923c7d
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/mini-gmp.h
@comment MD5:8dcd64eede4dcb5e8161652318680496
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/seL4/CMakeLists.txt
@comment MD5:2af226731f284a33fbca2f0f01cae34e
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/seL4/README.md
@comment MD5:a9bc75df8d740d7ee41736232ba599a0
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/seL4/idris_main.c
@comment MD5:89913db9f4a80a68413527699dd370cb
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/windows/win_utils.c
@comment MD5:c97ed18ac52c73452e8ce9c4252cf261
share/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/rts/windows/win_utils.h
@comment MD5:10025bb239ce71dc6f18e947dfda1280
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/LICENSE
@comment MD5:3ae880fa8edbbf057ee9b72955a86c0e
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/CHANGELOG.md
@comment MD5:34078889bdb678d652ff0ec64ec2a431
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/CITATION.md
@comment MD5:3e52ae29343eecb5f3d48a3419341996
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/CONTRIBUTING.md
@comment MD5:4898d6176a938ce5844965c65e09077b
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/CONTRIBUTORS
@comment MD5:7ecf786b1a3f75b8eff2f8aca6f14109
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Bytecode.html
@comment MD5:e7b900ca5a10b0f894e945553eef91a2
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-CodegenC.html
@comment MD5:813a1bfc85530e8b2c0c159ccc671033
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-CodegenCommon.html
@comment MD5:5504290079ac88590cecd811bd699709
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-CodegenJavaScript.html
@comment MD5:6bf7aa1b6f0bca3db59bb2a2d7f142a6
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Compiler.html
@comment MD5:f4c751e763b734ca9ce40e496d691a37
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Defunctionalise.html
@comment MD5:ac1076e3cb1d2fa7361cc590612ee7da
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-DumpBC.html
@comment MD5:e2140358bc0c88b9bc4e6eebfbfc9282
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Exports.html
@comment MD5:68f28676fe214ae60d9dc947fe0120a5
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Inliner.html
@comment MD5:e43a60d6630ba4dead598602629d6389
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-AST.html
@comment MD5:6bbc8b8d5005dbe201d4a314109a0093
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-Codegen.html
@comment MD5:0c0de50c73497ac1e70eb98d2e9baafe
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-LangTransforms.html
@comment MD5:787f84b5e9568e609b5979a98d79ae86
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-Name.html
@comment MD5:c67ff5d474d0cc3bebd0f2b653f66c28
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-PrimOp.html
@comment MD5:6db4e38a34315aad57f9c15e7fca0f5e
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-Specialize.html
@comment MD5:db7d0ad74f89b8a25947a96832d9e014
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Lang.html
@comment MD5:8693b532dcbde410a257df4e654cd177
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-LangOpts.html
@comment MD5:3fa9eae42e762e4fe05c524c326c2d2b
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Portable.html
@comment MD5:f50fc15fa2e4ef515557138c93bb2902
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Simplified.html
@comment MD5:441c250c2ab3f73d244d2b53167cf31f
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-System.html
@comment MD5:47e5eb56eecb1369b49ecb2b2391d641
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-ASTUtils.html
@comment MD5:9b8d0ad5a870cb3d32a954674b378015
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-AbsSyntax.html
@comment MD5:4f8359042f84d80a7410821d02d5b5ef
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-AbsSyntaxTree.html
@comment MD5:48218cb91a43de195ea11ee496cd2bb1
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Apropos.html
@comment MD5:911a07935f8e90ab430e918a82623622
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-CaseSplit.html
@comment MD5:57c2d41d1d47c4598f61d4a22a0767ba
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Chaser.html
@comment MD5:4f77bdef9ceaa22858820c66d381d926
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-CmdOptions.html
@comment MD5:4ea8b27926d420ed28aad4071e274f1d
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Colours.html
@comment MD5:2d820280ed25563edac6c56de68859a8
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Completion.html
@comment MD5:c470b028ef33b0045a44ddb3e402bd60
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Binary.html
@comment MD5:763860827dc9606566980a1d7a25e1a9
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-CaseTree.html
@comment MD5:5e2f05e510eff26ded34aaa485c7390b
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Constraints.html
@comment MD5:60eba3170d9c7477e2a01641e611cb38
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-DeepSeq.html
@comment MD5:09e486f8cdd60d69f33c5a94e47ea13e
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Elaborate.html
@comment MD5:5f055a2cf80eecd7f67065a24d178180
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Evaluate.html
@comment MD5:05e0ad79e58e12588fb6a2e982271ad5
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Execute.html
@comment MD5:4ae1b36dc4bdef5cd44bc52b2152d192
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-ProofState.html
@comment MD5:9c1a32f02e9d5f575781417cf4247431
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-ProofTerm.html
@comment MD5:03f76954a2c2a5a72838e2f3d18362e0
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-TT.html
@comment MD5:7e72104b7a56a5ddb27898013c8c5aac
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Typecheck.html
@comment MD5:2a0d6bff33dedceb4747b73ba68020be
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Unify.html
@comment MD5:54baebb389c48fae50f8a6cc1fab3123
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-WHNF.html
@comment MD5:c4a0f7f23d6c6ecd54e44d62cc984dc8
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Coverage.html
@comment MD5:c133e775d22ad12db65359fa96e2ddd0
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-DSL.html
@comment MD5:ffd31f03699a417a0a1de2d6f4a12cd1
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-DataOpts.html
@comment MD5:3c7d97db4bdc96a09ed73b611ae42bc1
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-DeepSeq.html
@comment MD5:44400cd936c600c40734e58b1a93b761
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Delaborate.html
@comment MD5:b12cbab5d8aead6691b2b918f90acf3c
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Directives.html
@comment MD5:baefbdd3b3eba278bed2b217df3d7653
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Docs.html
@comment MD5:a3a1feabcb7a55b17e7531db2bb71497
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Docstrings.html
@comment MD5:7633d2d5772cb80e6d93c83f15f989ba
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-AsPat.html
@comment MD5:5f3d243d021b720645ccfa7a5e721900
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Clause.html
@comment MD5:b13e913cb21a4153eaee7382d13a320e
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Data.html
@comment MD5:7cbccf1a3b10a0cc232e7693ece9fe28
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Implementation.html
@comment MD5:a5e405fef1b8e56ed3f229d87023bc2c
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Interface.html
@comment MD5:27d37dc5fc98123ffb52791e3e0d879d
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Provider.html
@comment MD5:8b73b486678759b0edbe7d9d2db95887
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Quasiquote.html
@comment MD5:aecab53e7f06aaada32619130221da11
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Record.html
@comment MD5:e9d99106d7d47fed18050994c9befbc5
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Rewrite.html
@comment MD5:08e8fbe9add8afd799f14b8529f6b864
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-RunElab.html
@comment MD5:bbc932c37f679ea996aeb8ae3719bf68
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Term.html
@comment MD5:6d52089614239e653f095809b5b85a0b
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Transform.html
@comment MD5:7dbe23e579c925efafedf156ba3759fb
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Type.html
@comment MD5:14b05f49ff4cea969d3281f218d68cba
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Utils.html
@comment MD5:126541bbe7108e5d04806a927ff8b5b3
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Value.html
@comment MD5:2be1a8e1b9c023209ee0c079f84b7a0e
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-ElabDecls.html
@comment MD5:23fd17d74a98460663228cf5b4a18545
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Erasure.html
@comment MD5:7f71fd7dee6dc0a9b559f87eb3a6a8d8
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-ErrReverse.html
@comment MD5:3a0ebcac1ec83fd35b7cb13eedea0d5c
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Error.html
@comment MD5:6cde645cfa91f49f40da77cf93f64607
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Help.html
@comment MD5:8d8926feee33316476c1532fc9e7132f
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-IBC.html
@comment MD5:9f98586cdf4fafa5db43f1e6cea06bb6
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-IdeMode.html
@comment MD5:c0c9b83c8793e426c1e22e37abf1b4c6
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-IdrisDoc.html
@comment MD5:055d41b5c8437220c188f951812424f1
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Imports.html
@comment MD5:c36b19a54cf34f51e0f72cd133a9f25b
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Info-Show.html
@comment MD5:bf97abef97ab04c1f774f46d78f3d269
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Info.html
@comment MD5:2ba9eb1addf1584bcf717581f8e14fd8
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Inliner.html
@comment MD5:2c8a0205c73f8b1c3a0feaa03aee6a80
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Interactive.html
@comment MD5:c9e693101482be545ef1979618354470
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Main.html
@comment MD5:a07aac20654294c2b9c0a147907ac1f1
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-ModeCommon.html
@comment MD5:267d39175b06463a48ba029e40b46cc9
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Options.html
@comment MD5:b01ddeb9add434928added2c7fc4bd70
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Output.html
@comment MD5:bb58e58fb38756c765c9f22a531a9e19
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Package-Common.html
@comment MD5:07c3ae0b7731c1b4912c9f6be724e5ba
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Package-Parser.html
@comment MD5:2d584c2127a7e02329659407a49608cc
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Package.html
@comment MD5:7b54018691aa85e078d24cb3ebb6ebe2
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser-Data.html
@comment MD5:430fe561823c563a4e8508e6ad166c7e
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser-Expr.html
@comment MD5:49096c1a1653de45d825a13048650a7f
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser-Helpers.html
@comment MD5:e950996332f33ea18df41169071ea1d1
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser-Ops.html
@comment MD5:44c39d8ab4391ced36ed3aec7b05418a
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser-Stack.html
@comment MD5:bcd64c0162e9d5bf50bd876a24ea413b
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser.html
@comment MD5:ffc138a3d1c777662c3f0f42d4f3deff
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-PartialEval.html
@comment MD5:f8fce0d9eaf95016760744ccfaba3431
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Primitives.html
@comment MD5:495e88cb44a4f258ccad85a4b6be9e0e
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-ProofSearch.html
@comment MD5:f8642527e9b59b3d596cf64ff3d3bdf5
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Prover.html
@comment MD5:b23df1c2a637b950e8c5db1ce235e436
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Providers.html
@comment MD5:dab2cd3e2895a001040ab86afee7aafe
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-REPL-Browse.html
@comment MD5:11d7c6520c3fee96452abddc5d9644a4
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-REPL-Commands.html
@comment MD5:d9f340be836f9fca66563bc4fade5e52
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-REPL-Parser.html
@comment MD5:30923c83eca0948ff8568d233bf4e57f
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-REPL.html
@comment MD5:1b3e8a086989f2335d8ae76ac1074c5f
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Reflection.html
@comment MD5:0fd759a0015acdfc58b8294a11c1f90d
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Termination.html
@comment MD5:1ad9be93f0deebb376350ec26c41d8c1
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Transforms.html
@comment MD5:cfe21a3e0b85208e83495c2489ceaf7b
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-TypeSearch.html
@comment MD5:17fa2745faf1e48da61df8f34079e043
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Unlit.html
@comment MD5:ef9123886e4e3bf4345d2f8e0f30cff9
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-WhoCalls.html
@comment MD5:955fc63845362a72352d495f93f5685c
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/README.md
@comment MD5:eb1e3f81484c76d01c6f47765800fd60
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/RELEASE-CHECKS.md
@comment MD5:0901bed65b963742b1d14fc30833b235
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Util-DynamicLinker.html
@comment MD5:ce91dd78145d795a9e95ef0f402df00c
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Util-ScreenSize.html
@comment MD5:10714bf3af9d8a02dd5b8293dc8a8539
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/Util-System.html
@comment MD5:070100bffca6ace80ecebf2cb5af5e23
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-95.html
@comment MD5:6695131eb7a55f3ff8cc491ccd9cefcd
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-A.html
@comment MD5:6c580f77530c13d6acdbd6a6f43d4255
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-All.html
@comment MD5:9c54bbf03e9069f46a5a3fe521b467d9
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-B.html
@comment MD5:b15b7626b4766af8d83251e392370949
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-C.html
@comment MD5:bea97ed3ed31f64c4b68ef4da7e19bd8
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-D.html
@comment MD5:b132a30e934d5407d4b8a2c090f28394
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-E.html
@comment MD5:3c6a75c1752ae870fd7c506c2993b5dd
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-F.html
@comment MD5:1f368e02db7cbb0a09b9bcfecaa8520d
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-G.html
@comment MD5:6266e7bc7d3e2bedc25145f03c95c9c9
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-H.html
@comment MD5:0760c71cabd960197bd56aebf2839f8a
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-I.html
@comment MD5:dc6ae44ba0dacd1e9d606d9fe945c876
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-J.html
@comment MD5:7fc0d998bcd6c8d45a20c9b4bb94e766
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-K.html
@comment MD5:897d3c25fc88bdba96050e4328577bbe
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-L.html
@comment MD5:c3d8336c7a8db02781befb6fa9c21083
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-M.html
@comment MD5:382fd60dd6e41a15f2a7cc22b83801f8
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-N.html
@comment MD5:b1684723b90d64cd99769e143da8a995
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-O.html
@comment MD5:6c4cc3976a6a0e7707c51b56edf9ecff
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-P.html
@comment MD5:b73a45940191386d2f22e84cc03443fe
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-Q.html
@comment MD5:a72cfd920c9c37c21471cbbac6bb1776
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-R.html
@comment MD5:6fed9ba0de99aa38e6c6996c04d5be62
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-S.html
@comment MD5:7e74340b9029a3ab64f84ee857589829
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-T.html
@comment MD5:5e8f4027bc7d2501877e832ffcd4503e
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-U.html
@comment MD5:f27ffdb4bdc59a19f5c1fc18884b1eae
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-V.html
@comment MD5:d364f875e3c86711e758dc179e9ab73b
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-W.html
@comment MD5:c6f0bb8bc627ae3b5f4feb27e2246194
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-Z.html
@comment MD5:8692a03eb959e11d7da38c188300c7a0
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index.html
@comment MD5:828936e0a5011ade83670708d043443f
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/haddock-bundle.min.js
@comment MD5:6c252f1820da89628cc25926ce9b02fc
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/idris-tutorial.pdf
@comment MD5:622438c8ea900955dacbeffe6739d245
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/idris.haddock
@comment MD5:4eae5b1f729dff2695f9d4e7fe6dfd18
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/index.html
@comment MD5:7c1003eeaeb8f46f4243c448324d64e9
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/linuwial.css
@comment MD5:d89be77bdc9713d0fa402d7c4b20a610
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/man/idris.1
@comment MD5:8165923b236d04d944a1ce68a7061133
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/meta.json
@comment MD5:9de47e237c8c4a57109baebc3db9d8d4
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/quick-jump.css
@comment MD5:e8ea295a20773770238d113be43ce1fd
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Composite.idr
@comment MD5:01fa5c14c14954888bf5d815fc05764a
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Graphics/Draw.idr
@comment MD5:7c24fcaca1c4aa361e74234f1f8b7bc4
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Graphics/Turtle.idr
@comment MD5:7b830eaa6c570a1af34fd499fc44e0c8
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Intro.idr
@comment MD5:f52932d7fe09c8ef591389c0529999b9
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Login.idr
@comment MD5:4e0d3d865185ac8da551bb5ab5d7af3a
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/LoginCount.idr
@comment MD5:9d5c3a016536dabf0ecdafbc18df6158
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Net/EchoSimple.idr
@comment MD5:73a0deee458915b58951cef353c4405e
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Net/Network.idr
@comment MD5:be3b8d477ad466090dc8cc1763879b1f
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Net/RandServer.idr
@comment MD5:c45c87967afe789f4b8c650da4733874
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Net/Threads.idr
@comment MD5:ab583ebef6b6bb70f1728d3baa4a3ce2
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/TreeTag.idr
@comment MD5:1e63787843bec6a2736ff13cbc666842
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/ConsoleIO.idr
@comment MD5:b93ee672c675c63b548b4dd64acba466
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/Exception.idr
@comment MD5:6c92e114ec37d3b37f2296462507f47d
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/Random.idr
@comment MD5:0edbd88643e6de9d9c67992e6c4a4987
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/ReadInt.idr
@comment MD5:016fde37709ac1a21f04ac90dc2128f2
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/Select.idr
@comment MD5:e1332041f63cd9a95e9fa16a0b911422
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/TreeTag-noeff.idr
@comment MD5:6d1b53dcd2b448d0e81b6e4dffe7de6f
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/TreeTag.idr
@comment MD5:6f1cb8dbde8093d353d6338d255cfb82
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/TreeTagCount.idr
@comment MD5:284f1b0d7d9ca15d3039459cbff7e667
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/hworld.idr
@comment MD5:360b2bc3b3a8a9ad7ac403ba8e0b5985
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/vadd.idr
@comment MD5:4a969990c065ee31057810f509635a18
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/binary.idr
@comment MD5:3efa6ac42aeb7ef4fa3da1f912d4b5ba
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/interp-alt.idr
@comment MD5:c366b059c98fab3b4e7380c0cfe2d597
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/interp.idr
@comment MD5:fe2e9a50154f2ef73bb4a90432b2ecd7
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/javaffi.idr
@comment MD5:70515e18edf247873a428b0c5a9e9ee3
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/named_implementation.lidr
@comment MD5:ccad1d410bf38f1e730e9deaf4e60c54
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/reflection.idr
@comment MD5:5b26878af009f7dfd8c72a18c9f52ac0
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/BMain.idr
@comment MD5:3a2de3225252c64851cfb55290eb7429
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/BTree.idr
@comment MD5:ab65dcfa6adc2e3f60d112c8e244b1d3
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/BTreeMod.idr
@comment MD5:115db2c51c9bbe039741e2f82465deb0
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Foo.idr
@comment MD5:05dcf8c004162476ba5ed1ac49440c2e
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Hello.idr
@comment MD5:e77b6dfe14587b6aeec217d70454c5c4
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Idiom.idr
@comment MD5:2491eebe36fc9991edd693c10fb33ee5
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Interfaces.idr
@comment MD5:2b549d478a4e301f0cf82a57f0b90749
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Interp.idr
@comment MD5:9cff00debbefd7c711c01fd42b554905
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/LetBind.idr
@comment MD5:a559450634920e106036e72520fb5a8b
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Prims.idr
@comment MD5:0cfada3db5b6d296f1279cc25d5e9c04
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Record.idr
@comment MD5:d4c8f006a3e61657500818f33f187c90
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Theorems.idr
@comment MD5:66c11e6d2e1581149f290738f6667825
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Universe.idr
@comment MD5:27a93cbe1d7a4d4bd3262181f2db5350
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/UsefulTypes.idr
@comment MD5:d904c3c9204411178b991efff202e100
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/VBroken.idr
@comment MD5:15aa0ce4f2166c158df9ebc138598ac7
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Views.idr
@comment MD5:dd36597f64f59f1452ac8497bf3921b4
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/ViewsBroken.idr
@comment MD5:83736a9233b148cc7fde876c610fb8fe
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Wheres.idr
@comment MD5:188557df1939b535cf65a18a7551534d
share/doc/aarch64-netbsd-ghc-9.10.1/idris-1.3.4/html/synopsis.png
@comment MD5:f7936844cc05316ed73f6bf1d2e75434
share/bash-completion/completions/idris
@comment MD5:15c1c13208b849862b58aa8c2c80d69c
share/fish/completions/idris.fish
@comment MD5:db529d09d7f74798a3d46f3e1ef22658
share/zsh/site-functions/_idris
@comment MD5:d97b32f0753a766e69f20f8b773a7088
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+INSTALL
@ignore
+DEINSTALL
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
