@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:0a0a07c9404cdd7763f90a9e0666bbdd
bin/idris-codegen-c
@comment MD5:461bf6bbdbb8420325e84c441e3d2565
bin/idris-codegen-javascript
@comment MD5:ba62f7b0573e247d086f8f4d8788fc01
bin/idris-codegen-node
@comment MD5:1af81396974258cbc8a5f6694ee54e43
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/BuildFlags_idris.hi
@comment MD5:fec2aced71b622c4dc2016b9a3a198b0
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Bytecode.hi
@comment MD5:91e1df3506194dbc274ca46461a789b4
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/CodegenC.hi
@comment MD5:c8ac0c9f88c11fb8d51db1fda65fc0f7
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/CodegenCommon.hi
@comment MD5:9dcffc535b4e7cbd8ca9a068475dfeae
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/CodegenJavaScript.hi
@comment MD5:0e9c32c5d0aa1d7587062399e66f7996
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Compiler.hi
@comment MD5:8f42afd7605db8c4b595e1330d0a2e85
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Defunctionalise.hi
@comment MD5:40db9194056c3b30c5150fdfd1456e1c
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/DumpBC.hi
@comment MD5:720a44bf1c0ff420bc40b90813e7860e
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Exports.hi
@comment MD5:dedf39f8473a5396a379a85ba7a70046
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Inliner.hi
@comment MD5:0a437e076fd032ae59da35dc24e98e8e
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/AST.hi
@comment MD5:43e0a6b58f14d7924512fb12d52a522f
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/Codegen.hi
@comment MD5:693a21b0b51c25d28b3943b376cbdc80
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/LangTransforms.hi
@comment MD5:70ec30423687f44c98065ec970e953c5
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/Name.hi
@comment MD5:b06fd988a91b4fef7cfca8e9dbdc9a9d
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/PrimOp.hi
@comment MD5:1ace3043a0c7a9f63f0069168f93aadb
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/JavaScript/Specialize.hi
@comment MD5:1ead8edd5919aa68b22656153bdc2e13
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Lang.hi
@comment MD5:b3234964a96eb298c0b28cbb9365e5c6
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/LangOpts.hi
@comment MD5:8aecb22ee70544e02bdb90c66172490f
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Portable.hi
@comment MD5:3d62b709424a97aa846d4df2e009d0d3
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/Simplified.hi
@comment MD5:33aeeb1fa782ca287830510cabb04169
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/IRTS/System.hi
@comment MD5:ee3993dda5fd3bc8ef4b01d1008a7e09
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/ASTUtils.hi
@comment MD5:cd1188512e67d8ed6424a636995856ba
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/AbsSyntax.hi
@comment MD5:fa7c28a919edb14c1fba9e73ee621367
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/AbsSyntaxTree.hi
@comment MD5:cfb78b53480f573dbfaf14440ce0b276
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Apropos.hi
@comment MD5:60ecea15c4ee3e588e663e4edabc0b8d
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/CaseSplit.hi
@comment MD5:8d2a291f3dc29253533b5273382f32c0
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Chaser.hi
@comment MD5:614587607ddf220d0736e834a1aad512
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/CmdOptions.hi
@comment MD5:198ebbbdc0647d2459cf33b801b82ede
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Colours.hi
@comment MD5:2abe8de78e201046599eba692da49ea4
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Completion.hi
@comment MD5:9997888d5b7d0b032db95cce714147f3
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Binary.hi
@comment MD5:cf3a77bc57c040022a6ec21770e5124e
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/CaseTree.hi
@comment MD5:feb41983b3b3b4c00cd52a4c8b812153
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Constraints.hi
@comment MD5:7a7b833383e7e8b9bcbdfe79530d041c
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/DeepSeq.hi
@comment MD5:fa9abf6cff5e8e973e77600308090016
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Elaborate.hi
@comment MD5:6550bbad94bb474c3c4351ecd8d59180
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Evaluate.hi
@comment MD5:3e4b59bbf241c44b718c7ce4c53ccbdf
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Execute.hi
@comment MD5:f63c7c04cbd0dbbb1250dee0b5399988
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/ProofState.hi
@comment MD5:dabdda7b39619cb2fc3cbe2f5de42fdc
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/ProofTerm.hi
@comment MD5:6ea8f29f0a7bb49e1d253e5a080c0ff3
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/TT.hi
@comment MD5:7ef15a7eee285cc5bddb7fcffe5ff74d
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Typecheck.hi
@comment MD5:aeae96b267603465081134ffa9ab95bd
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/Unify.hi
@comment MD5:27e4d281cd784d8d87fbc423a86916ec
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Core/WHNF.hi
@comment MD5:fcaa1a5a1dd9f2b339c4148b83dd2b66
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Coverage.hi
@comment MD5:f4f47a737648eaf7f9338bf1744d9dbf
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/DSL.hi
@comment MD5:95a2d66c34beec561c3e4af6798fc855
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/DataOpts.hi
@comment MD5:670c08050c136d8d702d7666863ea2f9
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/DeepSeq.hi
@comment MD5:1335a4790a2262f24cfcebae617f18db
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Delaborate.hi
@comment MD5:dbeedf6f3decffccc2ed3e58930c3e0f
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Directives.hi
@comment MD5:3884adbbffcded4d1d3a524b3f87d2ec
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Docs.hi
@comment MD5:384b4934f4d8f3a8a46441e663521348
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Docstrings.hi
@comment MD5:80214a3fca8b37f5138a0156e4c4bed7
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/AsPat.hi
@comment MD5:a05e58abe68753382f01b5163afdaf48
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Clause.hi
@comment MD5:418ac302d2ca382df43b1d5f38bf5e43
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Data.hi
@comment MD5:d3a44b71b8d99c00f03ff2c4483be74d
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Implementation.hi
@comment MD5:584c173375f7e5afcf511dfa8c07d79f
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Interface.hi
@comment MD5:37ac00e61a4cba3d5e33f57be6c2404a
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Provider.hi
@comment MD5:12b3fb63c16203b7ae1bd2835c30cff2
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Quasiquote.hi
@comment MD5:49afea5701f5dd447ba62f7fe014fa81
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Record.hi
@comment MD5:c7d776334dcff74e42a5508efebd1cc4
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Rewrite.hi
@comment MD5:e30eff829746de53e453e04fa9830147
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/RunElab.hi
@comment MD5:cbd912af37e2307cb4564bb97ac90458
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Term.hi
@comment MD5:4f952dcd0f5553703e19289d20bd2aa2
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Transform.hi
@comment MD5:e2df9a103e9da6f53581f3da3592286b
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Type.hi
@comment MD5:b370bffe458c9372070a88a08b5492e7
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Utils.hi
@comment MD5:bd79c0710dac6b9d0ca33e7e7d883759
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Elab/Value.hi
@comment MD5:9b8ac04cc53ab106ed59145410d1bc2d
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/ElabDecls.hi
@comment MD5:8ee2dc7b3d51dd33d076cdd779a6a9d8
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Erasure.hi
@comment MD5:978eea42e7527050ce8607dcc23cfdd3
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/ErrReverse.hi
@comment MD5:56aaf606f8e48b8e41c3709595bbe340
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Error.hi
@comment MD5:a5e858bece6de6da784d5c157d925522
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Help.hi
@comment MD5:27560a9b06d3930d29e64b1b937c5aff
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/IBC.hi
@comment MD5:5987e7e6eca74aaf23c8d28d60ad982c
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/IdeMode.hi
@comment MD5:079dc44e1b6415e1afb6bac0e68fb2dc
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/IdrisDoc.hi
@comment MD5:d63715427f8c43cace0b6f2e04c95385
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Imports.hi
@comment MD5:118bc97e49beb9f9ad079b85e46f7230
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Info.hi
@comment MD5:c6743732be1f6a774dd6be115e9bd4a4
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Info/Show.hi
@comment MD5:b8fb23698b37cd80eb09878e5b3f4c00
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Inliner.hi
@comment MD5:7016c9eba4cbe7b1a7cc72391e138700
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Interactive.hi
@comment MD5:7af75f84c3e2ec1c2fd40bae3df06c5c
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Main.hi
@comment MD5:6335cdeb2b983a3bcdbcdb2777059f1e
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/ModeCommon.hi
@comment MD5:4dded8813a5cf8338de41f7b89e87e7e
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Options.hi
@comment MD5:4d5043941ecd097ef8b3c0ed8439b519
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Output.hi
@comment MD5:0f7684fbd62fb3c39a008b957e8caf32
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Package.hi
@comment MD5:97cc3810a9d8f499a17b6ac43f11eb17
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Package/Common.hi
@comment MD5:6ae94ec57ec44458da6b122a1c1436e7
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Package/Parser.hi
@comment MD5:ee39c7e110d881f73aced2891c705588
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser.hi
@comment MD5:8d349a30e3b54bd0c923ce5243773544
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser/Data.hi
@comment MD5:822ac9a95206a041cd235e9cc8f6f4f9
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser/Expr.hi
@comment MD5:0217fe8b3d2bd8761fe1f166b6afa8ef
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser/Helpers.hi
@comment MD5:e7387c1b2f4e4c202f4815a322614af8
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser/Ops.hi
@comment MD5:16d5f27ccbf1bdaa4e3e11775cdb06e7
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Parser/Stack.hi
@comment MD5:452de367bbabd6de21408e23ae4a7b99
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/PartialEval.hi
@comment MD5:5c2f3f8e173cb3188ac5a13aa7be54c1
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Primitives.hi
@comment MD5:707599fe08d5614cd14dd515ac43221f
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/ProofSearch.hi
@comment MD5:5e3c1c6d77baad4bf6728012c964e5bf
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Prover.hi
@comment MD5:2ed00f1748e59013a4c35b9b4f9d1787
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Providers.hi
@comment MD5:fc3a124dd4c5cac8063892d3d9ac9bdd
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/REPL.hi
@comment MD5:8b46ba1019e01f413845926e1f07cb48
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/REPL/Browse.hi
@comment MD5:aba5f45a180eeaa21eda07cf5fa140cf
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/REPL/Commands.hi
@comment MD5:cdb3cd2bcd73f3aecebe7ae85dbf0e7d
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/REPL/Parser.hi
@comment MD5:1881695489c7a30ce8464a8fefe99131
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Reflection.hi
@comment MD5:d006801d059bc07468e1bd6d0f755fc0
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Termination.hi
@comment MD5:50c22ee137daaec0acd5900561a1835c
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Transforms.hi
@comment MD5:aaf0412a7fb4356af3684b8642d00a39
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/TypeSearch.hi
@comment MD5:52c3cffc4e4db2e747c447981861258c
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/Unlit.hi
@comment MD5:f26d21ae26918a2a8d7c9064da00ea10
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Idris/WhoCalls.hi
@comment MD5:e50ccef145d704fef4e6990ca803c758
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Paths_idris.hi
@comment MD5:3d5f314f64d028738ad1587672892176
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Tools_idris.hi
@comment MD5:6f91978ae10ab9c01ed049989554aa9d
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Util/DynamicLinker.hi
@comment MD5:eb6b709ef44a6d4d22895953a77182ee
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Util/Net.hi
@comment MD5:aa625541638a1d94669fbe38a32fd2b1
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Util/Pretty.hi
@comment MD5:48c134edac97bc6927b936573fd215e5
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Util/ScreenSize.hi
@comment MD5:9862316ae4bac229e8a0c06b1b838b25
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Util/System.hi
@comment MD5:0f56fe1ffc26fc16969f943fb8c5cce2
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/Version_idris.hi
@comment MD5:6045558d2bac09dfdd636726f8ecebfc
lib/x86_64-netbsd-ghc-9.10.1/idris-1.3.4-CzetPXHz9szL2e7hoCyB4A/libHSidris-1.3.4-CzetPXHz9szL2e7hoCyB4A.a
@comment MD5:3bef6b81e1129e2b598a8dd014d984e4
lib/idris-1.3.4/ghc-9.10.1/package-description
@comment MD5:8aadd8093fa21e912ccff6af4d1974c9
lib/idris-1.3.4/ghc-9.10.1/package-id
@comment MD5:5aa8b33d81f17f3536b9ca40f482d89a
man/man1/idris.1
@comment MD5:8165923b236d04d944a1ce68a7061133
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/IdrisDoc
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Arrow.html
@comment MD5:e4b668e755ac1b0f7e0c5a513085d25d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Catchable.html
@comment MD5:fe633ff80ea6c01da629211015baf279
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.IOExcept.html
@comment MD5:1bcd9035d57cda3f3c9df3de181a3cbc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Isomorphism.Iso.html
@comment MD5:dcf3f7c4b431d83d42a80a7bc85c3b61
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Isomorphism.html
@comment MD5:78c67e37ac2211be29884ec43e1ff247
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Monad.Identity.html
@comment MD5:a262a61ebe1751c42b35f3941e6f8a07
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Monad.RWS.html
@comment MD5:83705a0a0cd854803109caeaf901374f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Monad.Reader.html
@comment MD5:a8d4391cd27cbebabee0184341b353a9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Monad.State.html
@comment MD5:d7543e5cb974a4a5f22db25b1235beef
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Control.Monad.Writer.html
@comment MD5:b540f4f7bc63308d2cd4ffb87d7b3a00
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Bits.html
@comment MD5:4a30babedef85cea1b4b61fb9c0fe39a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Buffer.html
@comment MD5:1cbf83c9e20bb69eb5caa39dae46f827
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Complex.html
@comment MD5:71c615e99c02d140acc63257c99f42bd
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Erased.html
@comment MD5:958dfa37fcb460a87db8535e426e7923
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Fin.html
@comment MD5:b20a9ba294af21652fe1156e517f31c7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.HVect.html
@comment MD5:35e159e52d30f8335e896ef4e5f4dfbf
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.IORef.html
@comment MD5:7344db0165cd2621dac3fd18a68609f7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.List.Quantifiers.html
@comment MD5:8a9e0625deaef118ab06688998093c9b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.List.Views.html
@comment MD5:5b2bd9ae3f02d615b96c53385b0d435d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.List.html
@comment MD5:09849df4f304fcb495644d32659bfd85
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Mod2.html
@comment MD5:bd44dc08845ab02d9af98950b3f56d9c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Morphisms.html
@comment MD5:3a6385268d95d37a9794d4c81ff2fc82
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.String.Views.html
@comment MD5:0d758e3495524c86ba4566df6da185f6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.String.html
@comment MD5:f810aefa5ac90a97692a10cab69ccb51
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Vect.Quantifiers.html
@comment MD5:b8b890d50ac9b9f633cf97754b546028
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Vect.Views.html
@comment MD5:1ccf8590d4b5d72df906775b28f4f122
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Data.Vect.html
@comment MD5:b541bb38cf7d8e6550a86af0378f84f3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Debug.Error.html
@comment MD5:984b7521c364e82820371a200b730de0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Debug.Trace.html
@comment MD5:233eb51736219e29612c1e0146ba6798
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Decidable.Equality.html
@comment MD5:ecef6d3687f79df56d4c56abd87dd395
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/FFI.html
@comment MD5:8ca4c3f26059337e5de560ecb79e0383
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/FFI_C.html
@comment MD5:9cfc02396fb322b5c50d0a6f42946065
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/ForeignEnv.html
@comment MD5:43e8a27c6946b1912ad736bee3f5be3c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Language.Reflection.Elab.html
@comment MD5:94e0d5590cf5df95df3da4f2699f37e3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Language.Reflection.Errors.html
@comment MD5:17437f740fbf06adba991f0f401e0698
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Language.Reflection.Utils.html
@comment MD5:e6a607ced45e7a68bd67925134e91c5d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Language.Reflection.html
@comment MD5:03909094855326f96717d4434aa041b5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Algebra.html
@comment MD5:6e86ad816581da0300b96d67e51618d2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Applicative.html
@comment MD5:7dfb1a9932867a0c07bec2fee1475ede
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Basics.html
@comment MD5:11b7a35f7f3160be4a61b2b21c67ae7e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Bool.html
@comment MD5:43e4f3517ebc8674372ea030155c253c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Either.html
@comment MD5:a934f1d35df6d0b9737938bdf4bebf92
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.File.html
@comment MD5:0d5133a433f6f423494628f0125d1e9d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Foldable.html
@comment MD5:36d2751403baa0ddcceab53698633fe3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Functor.html
@comment MD5:22104f5644b67075f72781d7ddaa62b1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Interfaces.html
@comment MD5:8cc5126a80d2e067638630fc457a203a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.List.html
@comment MD5:b7e4c382eb02532b7df807fdc4d2b559
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Maybe.html
@comment MD5:ed08fcc468d91cd31ad7392653d4220f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Nat.html
@comment MD5:601eb71b1e79c1e7e6969a54e0d4af18
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Show.html
@comment MD5:fc7654485191d6e044c71e0361aac071
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Stream.html
@comment MD5:376a2ba74610b9f1d5a627a3e626fd0f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Strings.html
@comment MD5:7c934d1ef05af4724efc9bbda590f495
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.Traversable.html
@comment MD5:1b29ae840fb1237c479b499b4bbdff99
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/Prelude.WellFounded.html
@comment MD5:12eeb959169c4aed546993eb250f49ad
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/System.Concurrency.Channels.html
@comment MD5:4c2ee7d5f7e0d349639e7dc877bffd84
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/System.Info.html
@comment MD5:28c33a0a58baa6a5e74d60dc3f8bd73c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/System.html
@comment MD5:1e2c4bd0afc8d00875b6fe439b559b41
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/docs/[builtins].html
@comment MD5:a0f85ef74d6b984bf315b2d2402d5728
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/index.html
@comment MD5:aadf7241b715c563102e83a65dd31ae6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/base/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/IdrisDoc
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Builtins.html
@comment MD5:af1eeb611410aade378bda6b9288a5e6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/CFFI.Memory.html
@comment MD5:d28dbaf1ac9fe639e0d10db903ce0bf7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/CFFI.Types.html
@comment MD5:ae543261cefb4ebcbe7e2e81ab6075b7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Algebra.Lattice.html
@comment MD5:7c1d462e5359abadb5482419d4708bc4
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Algebra.Laws.html
@comment MD5:013b2e7c7d616108de2dbc0a1f172f0c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Algebra.NumericImplementations.html
@comment MD5:1d9168ee4e48323c3bd9717141758c67
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Algebra.VectorSpace.html
@comment MD5:6f0caa8c6153e3eb2822f1896b857250
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Algebra.html
@comment MD5:90f31c2c87309cdf376f4ebed5eaf720
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Delayed.html
@comment MD5:8043b852bb0c2361b5660acc5a367bf6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.IOExcept.html
@comment MD5:1bcd9035d57cda3f3c9df3de181a3cbc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Extra.html
@comment MD5:a9e1981dfffc50a28f29fb2156164f6a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Fin.html
@comment MD5:2aeb7ee6b28b280479e7cc1d5801913b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Iso.html
@comment MD5:fc100e602c1229b728955af294b89efb
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Primitives.html
@comment MD5:1067f66615f119580db56dc1cf93d4c6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.Vect.html
@comment MD5:3341176ca6e2068a107541250bc5326f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Isomorphism.html
@comment MD5:08b70a9fb7e7bc73533fd6130c942e77
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Monad.Syntax.html
@comment MD5:b4178c037050738238b1d5a641b95c3f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Partial.html
@comment MD5:c729a330f083c414f1c31b3652a69c08
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.Pipeline.html
@comment MD5:197f3b8ec80d824ea861524d150a7886
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Env.html
@comment MD5:0b65b9fb1174743afb0c08d971850702
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Exception.html
@comment MD5:d99f36ce6fb2ab9545d302323bd35b6d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.File.html
@comment MD5:85937df9f9f9dff102e8589d4339ac19
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.ImplicitCall.html
@comment MD5:e7313ac187d6ba08bd40d82d56285af8
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Loop.html
@comment MD5:27f29403429de6f64f09e0ae5e06f2e3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Random.html
@comment MD5:3ec481dcbf2b5a341145ed5df9360c40
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Resources.html
@comment MD5:0eabfd87edb479b6668ffe47ba130bd2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.Stable.html
@comment MD5:9d38e9a8f88554b0aa4c4f5f2c0d3fde
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.VarList.html
@comment MD5:78adf43d64c1795425ebd37b9d2f70ef
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Control.ST.html
@comment MD5:1fa38117ada6dbe373c19d7c040aaf8e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Bool.Algebra.html
@comment MD5:b7833d37968c9c95e2d1280001fa56b8
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.BoundedList.html
@comment MD5:a5ee5f3aabb7e2b9ea25d6270f3589eb
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Chain.html
@comment MD5:edee76cf540a5045c94f5bf40cd40b00
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.CoList.html
@comment MD5:85762add8781fe0c39de10a2e7f2866a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Combinators.Applicative.html
@comment MD5:7efcaaad3943de17a031151d7446e81e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Combinators.html
@comment MD5:2a437acb60441266d473ca2267224c09
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Fin.Extra.html
@comment MD5:39b0fe8c79bfeb7ea00cbbaa1bb7cf7b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Fin.html
@comment MD5:b20a9ba294af21652fe1156e517f31c7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Fuel.html
@comment MD5:14b87a4a8d15122800bca718617f559f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Fun.html
@comment MD5:6603437e9666532c57f6959716aaf8d0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Hash.html
@comment MD5:c6a53462a582ebb0ad22a36b3f5e8943
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.IOArray.html
@comment MD5:1f2eb33ba17ad21e5fb29dec00f79133
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.List.Reverse.html
@comment MD5:10ab48e61f5bc1e0de83a21b86327645
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.List.Zipper.html
@comment MD5:58a95525f05091320a9277b4b0b44303
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Matrix.Algebraic.html
@comment MD5:a62e47e2700a0fc0a6688f612d2cb358
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Matrix.Numeric.html
@comment MD5:a96d48dd13badc372edc0558df46caeb
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Matrix.html
@comment MD5:6ea4d8b451d91856770fcedd95e7cd35
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Morphisms.html
@comment MD5:3a6385268d95d37a9794d4c81ff2fc82
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.DivMod.IteratedSubtraction.html
@comment MD5:cb380ee4da5a2b31d843f353ad7505e0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.DivMod.html
@comment MD5:a16571c13b8dcdb03124d11d0fd5b011
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.Fact.html
@comment MD5:d3e7c6e02523e7109b7907228b1cc6af
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.Fib.html
@comment MD5:29de77aad7b6c8ab226a2c878816c8fe
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.Parity.html
@comment MD5:22dbe7ea64b654ba79d651d70d19ebfc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Nat.html
@comment MD5:6c02d19fbbdef740ea24e3832bcf1d9a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Pairs.Implicit.html
@comment MD5:129e8eeefb5ab008d99f5954a54ce778
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.PosNat.html
@comment MD5:284bfde8667bf6fa972d2320441e1afc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Rel.html
@comment MD5:be0512b1593db39b531ce795d3a9d9bb
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.SortedBag.html
@comment MD5:53567459ae26c8d4731fc0c1916917cd
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.SortedSet.html
@comment MD5:298540be27023b89071486f6561974ba
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Storable.html
@comment MD5:8545e6b45b484a09f40e0c98bf4e0ae1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Stream.Extra.html
@comment MD5:03bc9881b5db85be9fe5d539f2db498d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.String.Extra.html
@comment MD5:a9f3eb778c77a125719274d164b893a9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Data.Vect.html
@comment MD5:b541bb38cf7d8e6550a86af0378f84f3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Decidable.Decidable.html
@comment MD5:63714149ba20644b64429e36cacb8903
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Decidable.Equality.html
@comment MD5:ecef6d3687f79df56d4c56abd87dd395
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Decidable.Order.html
@comment MD5:6695957c00e84c2228cf0812b5caacf2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/FFI.html
@comment MD5:8ca4c3f26059337e5de560ecb79e0383
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/FFI_C.html
@comment MD5:9cfc02396fb322b5c50d0a6f42946065
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/ForeignEnv.html
@comment MD5:43e8a27c6946b1912ad736bee3f5be3c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Interfaces.Correlative.html
@comment MD5:48f2566010363ba459ce7f8594f86777
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Interfaces.Proposition.html
@comment MD5:1769315bff011de46a7e259c1374312c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Language.JSON.Data.html
@comment MD5:7e56b2496dfe8864340e316bf2b109de
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Language.JSON.html
@comment MD5:481b4e01be06d748ea23db1599e0dbc7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Language.Reflection.Elab.html
@comment MD5:94e0d5590cf5df95df3da4f2699f37e3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Language.Reflection.Errors.html
@comment MD5:17437f740fbf06adba991f0f401e0698
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Language.Reflection.html
@comment MD5:03909094855326f96717d4434aa041b5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Network.Cgi.html
@comment MD5:29cf16ee91abb5bd44f431351de0c9b7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Network.Socket.Data.html
@comment MD5:ee501ab307e67f7fe8564333a3c93ed7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Network.Socket.html
@comment MD5:12be274cbc44385fde5fc80240fe87fb
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Algebra.html
@comment MD5:6e86ad816581da0300b96d67e51618d2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Applicative.html
@comment MD5:7dfb1a9932867a0c07bec2fee1475ede
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Basics.html
@comment MD5:11b7a35f7f3160be4a61b2b21c67ae7e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Bool.html
@comment MD5:43e4f3517ebc8674372ea030155c253c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Either.html
@comment MD5:a934f1d35df6d0b9737938bdf4bebf92
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.File.html
@comment MD5:0d5133a433f6f423494628f0125d1e9d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Foldable.html
@comment MD5:36d2751403baa0ddcceab53698633fe3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Functor.html
@comment MD5:22104f5644b67075f72781d7ddaa62b1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Interfaces.html
@comment MD5:8cc5126a80d2e067638630fc457a203a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.List.html
@comment MD5:b7e4c382eb02532b7df807fdc4d2b559
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Maybe.html
@comment MD5:ed08fcc468d91cd31ad7392653d4220f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Monad.html
@comment MD5:eaa55e6b412e01128b723324a395028b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Nat.html
@comment MD5:601eb71b1e79c1e7e6969a54e0d4af18
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Pairs.Exists.html
@comment MD5:01cd3cd07be795afc317496eb9644b2e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Pairs.html
@comment MD5:31571d2452890022e751b5adf2e67b5d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Show.html
@comment MD5:fc7654485191d6e044c71e0361aac071
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Stream.html
@comment MD5:376a2ba74610b9f1d5a627a3e626fd0f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.Traversable.html
@comment MD5:1b29ae840fb1237c479b499b4bbdff99
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.WellFounded.html
@comment MD5:12eeb959169c4aed546993eb250f49ad
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Prelude.html
@comment MD5:77f0048eec5432735148bda9871fec79
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/System.Concurrency.Process.html
@comment MD5:52ce23dfe695654bdd1c46deeaa8711a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Test.Unit.Assertions.html
@comment MD5:11a66b6762d21594a4d00c2b2bd55850
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Test.Unit.Display.html
@comment MD5:1514ccf3e6b3eadfffc335d4c5ff9888
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Test.Unit.Generic.html
@comment MD5:9ae09da5c4c349eba719661e749c1e83
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Text.Lexer.Core.html
@comment MD5:0a1ca4b56a9a028f89cb2de693443e95
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Text.Literate.html
@comment MD5:9d20815c8439be20872786293aa5079e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Text.Quantity.html
@comment MD5:b7f74fe8938b469ebd740694206cf49f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/Text.Token.html
@comment MD5:66d7064e27b276001771d3b979cef644
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/docs/[builtins].html
@comment MD5:e5a022111b48e71da619ff3f260d2b5e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/index.html
@comment MD5:9babbe17a2d8baf045661a1677681dc5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/contrib/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/IdrisDoc
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Control.IOExcept.html
@comment MD5:1bcd9035d57cda3f3c9df3de181a3cbc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Data.List.html
@comment MD5:09849df4f304fcb495644d32659bfd85
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Data.So.html
@comment MD5:e00bd66e1de748f344565aa94f8cc3a1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Decidable.Equality.html
@comment MD5:ecef6d3687f79df56d4c56abd87dd395
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Exception.html
@comment MD5:db5cf2cb34ab9436de88799c0a199571
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.File.FileResult.html
@comment MD5:f406f9b9526b6000c29c74e69acda88e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.File.html
@comment MD5:8ffc8646323f29969cc6607767d645e9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Logging.Category.LogRes.html
@comment MD5:6072048f573272dd641fa10ce6d94a4c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Logging.Category.html
@comment MD5:ad4b43f2bde16279382154bf46005d33
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Logging.Default.LogRes.html
@comment MD5:2fa54aba5ae30cc3f7f9d72d7a39c058
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Logging.Default.html
@comment MD5:4c128639725c043bc0371ae9865b51cd
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Logging.Level.html
@comment MD5:ae4b7cb3bbf591447847117546c627de
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Memory.html
@comment MD5:8c060c95d88561a7ffed2a46fec6ac34
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Monad.html
@comment MD5:9d4822648e720e109d686fffb4a44110
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Perf.html
@comment MD5:0c66f44c9cc2f8eb74ca826efe0f0bbd
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Random.html
@comment MD5:9258f1e14e241436a719d7b17f438bdf
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Select.html
@comment MD5:a1b4569a14cef350dc7d8648d60cd696
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.State.html
@comment MD5:a197be4fbbbd439ef190f81cac145a5d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.StdIO.html
@comment MD5:bfee97ea790d153461684bbc5bd37c59
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.System.html
@comment MD5:785853e713baf2a4f87ccd2aed559d20
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effect.Trans.html
@comment MD5:a5524fd437fa40515e9a76f67ce5e5a8
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.DepEff.html
@comment MD5:5bf093e73bbc8000286b5e4353556695
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.DepUpdateEffect.html
@comment MD5:a283ac2537fd3dfe01574fca4536cdd5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.Env.html
@comment MD5:d825b5a2c57cb859be33bdc0add7315a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.NoResourceEffect.html
@comment MD5:8781297668441523d18c5cddd83cda2d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.NoUpdateEffect.html
@comment MD5:816ce393c366ec8ed8c0059bd40e364d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.SimpleEff.html
@comment MD5:a05766477a0afdc2ee0912e946dcd0d3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.TransEff.html
@comment MD5:88bb963396b56d1b938f060de13dc139
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.UpdateEffect.html
@comment MD5:aaaa3b99e208a5d92cae2261b08c7878
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Effects.html
@comment MD5:e1fce498a4c7bea02abea2d4c84f381e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/FFI.html
@comment MD5:8ca4c3f26059337e5de560ecb79e0383
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/FFI_C.html
@comment MD5:9cfc02396fb322b5c50d0a6f42946065
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/ForeignEnv.html
@comment MD5:43e8a27c6946b1912ad736bee3f5be3c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Language.Reflection.Elab.html
@comment MD5:94e0d5590cf5df95df3da4f2699f37e3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Language.Reflection.Errors.html
@comment MD5:17437f740fbf06adba991f0f401e0698
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Language.Reflection.html
@comment MD5:03909094855326f96717d4434aa041b5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Algebra.html
@comment MD5:6e86ad816581da0300b96d67e51618d2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Applicative.html
@comment MD5:7dfb1a9932867a0c07bec2fee1475ede
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Basics.html
@comment MD5:11b7a35f7f3160be4a61b2b21c67ae7e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Bool.html
@comment MD5:43e4f3517ebc8674372ea030155c253c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Either.html
@comment MD5:a934f1d35df6d0b9737938bdf4bebf92
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.File.html
@comment MD5:0d5133a433f6f423494628f0125d1e9d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Foldable.html
@comment MD5:36d2751403baa0ddcceab53698633fe3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Functor.html
@comment MD5:22104f5644b67075f72781d7ddaa62b1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Interfaces.html
@comment MD5:8cc5126a80d2e067638630fc457a203a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.List.html
@comment MD5:b7e4c382eb02532b7df807fdc4d2b559
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Maybe.html
@comment MD5:ed08fcc468d91cd31ad7392653d4220f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Nat.html
@comment MD5:601eb71b1e79c1e7e6969a54e0d4af18
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Show.html
@comment MD5:fc7654485191d6e044c71e0361aac071
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/Prelude.Stream.html
@comment MD5:376a2ba74610b9f1d5a627a3e626fd0f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/docs/[builtins].html
@comment MD5:c91be17747118980c5c76a819011cc63
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/index.html
@comment MD5:c68fa0babd8fcd993caeabcdc1fd901c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/effects/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/IdrisDoc
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Builtins.html
@comment MD5:af1eeb611410aade378bda6b9288a5e6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Decidable.Equality.html
@comment MD5:ecef6d3687f79df56d4c56abd87dd395
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/FFI.html
@comment MD5:8ca4c3f26059337e5de560ecb79e0383
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/FFI_C.html
@comment MD5:9cfc02396fb322b5c50d0a6f42946065
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/ForeignEnv.html
@comment MD5:43e8a27c6946b1912ad736bee3f5be3c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/IO.html
@comment MD5:df27d0d95455e53b1e9e5619f50f09f9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Language.Reflection.Elab.html
@comment MD5:94e0d5590cf5df95df3da4f2699f37e3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Language.Reflection.Errors.html
@comment MD5:17437f740fbf06adba991f0f401e0698
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Language.Reflection.html
@comment MD5:03909094855326f96717d4434aa041b5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Algebra.html
@comment MD5:6e86ad816581da0300b96d67e51618d2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Applicative.html
@comment MD5:7dfb1a9932867a0c07bec2fee1475ede
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Basics.html
@comment MD5:11b7a35f7f3160be4a61b2b21c67ae7e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Bits.html
@comment MD5:cf3e27c81a656fb7efe62918112b0335
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Bool.html
@comment MD5:43e4f3517ebc8674372ea030155c253c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Cast.html
@comment MD5:485e824c154332f69afae544bfbd8f2a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Chars.html
@comment MD5:6f05060676e25d2eaa72f9cb238fd1cc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Doubles.html
@comment MD5:352193b73c9fe69390ec582c9b0cbced
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Either.html
@comment MD5:a934f1d35df6d0b9737938bdf4bebf92
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.File.html
@comment MD5:0d5133a433f6f423494628f0125d1e9d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Foldable.html
@comment MD5:36d2751403baa0ddcceab53698633fe3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Functor.html
@comment MD5:22104f5644b67075f72781d7ddaa62b1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Interactive.html
@comment MD5:6a58421460b7e6ac0496f5048be0aef5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Interfaces.html
@comment MD5:8cc5126a80d2e067638630fc457a203a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.List.html
@comment MD5:b7e4c382eb02532b7df807fdc4d2b559
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Maybe.html
@comment MD5:ed08fcc468d91cd31ad7392653d4220f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Monad.html
@comment MD5:eaa55e6b412e01128b723324a395028b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Nat.html
@comment MD5:601eb71b1e79c1e7e6969a54e0d4af18
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Pairs.html
@comment MD5:31571d2452890022e751b5adf2e67b5d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Providers.html
@comment MD5:d408e500d37f68f78b909fa0175494cc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Show.html
@comment MD5:fc7654485191d6e044c71e0361aac071
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Stream.html
@comment MD5:376a2ba74610b9f1d5a627a3e626fd0f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Strings.html
@comment MD5:7c934d1ef05af4724efc9bbda590f495
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Traversable.html
@comment MD5:1b29ae840fb1237c479b499b4bbdff99
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.Uninhabited.html
@comment MD5:e025002325a07edf5d56b4baba4a2aa8
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.WellFounded.html
@comment MD5:12eeb959169c4aed546993eb250f49ad
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/Prelude.html
@comment MD5:77f0048eec5432735148bda9871fec79
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/docs/[builtins].html
@comment MD5:41c91336b0067393da35a4d33b786e84
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/index.html
@comment MD5:43340affa30efb2743713a7c73220538
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/prelude/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/IdrisDoc
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Decidable.Equality.html
@comment MD5:ecef6d3687f79df56d4c56abd87dd395
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/FFI.html
@comment MD5:8ca4c3f26059337e5de560ecb79e0383
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/FFI_C.html
@comment MD5:9cfc02396fb322b5c50d0a6f42946065
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/ForeignEnv.html
@comment MD5:43e8a27c6946b1912ad736bee3f5be3c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Language.Reflection.Elab.html
@comment MD5:94e0d5590cf5df95df3da4f2699f37e3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Language.Reflection.Errors.html
@comment MD5:17437f740fbf06adba991f0f401e0698
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Language.Reflection.html
@comment MD5:03909094855326f96717d4434aa041b5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Algebra.html
@comment MD5:6e86ad816581da0300b96d67e51618d2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Applicative.html
@comment MD5:7dfb1a9932867a0c07bec2fee1475ede
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Basics.html
@comment MD5:11b7a35f7f3160be4a61b2b21c67ae7e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Bool.html
@comment MD5:43e4f3517ebc8674372ea030155c253c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Either.html
@comment MD5:a934f1d35df6d0b9737938bdf4bebf92
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.File.html
@comment MD5:0d5133a433f6f423494628f0125d1e9d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Foldable.html
@comment MD5:36d2751403baa0ddcceab53698633fe3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Functor.html
@comment MD5:22104f5644b67075f72781d7ddaa62b1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Interfaces.html
@comment MD5:8cc5126a80d2e067638630fc457a203a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.List.html
@comment MD5:b7e4c382eb02532b7df807fdc4d2b559
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Maybe.html
@comment MD5:ed08fcc468d91cd31ad7392653d4220f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Nat.html
@comment MD5:601eb71b1e79c1e7e6969a54e0d4af18
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Show.html
@comment MD5:fc7654485191d6e044c71e0361aac071
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Prelude.Stream.html
@comment MD5:376a2ba74610b9f1d5a627a3e626fd0f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Pruviloj.Derive.DecEq.html
@comment MD5:8e6597eb682c96a716bcef9d20b4e48b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/Pruviloj.Internals.TyConInfo.html
@comment MD5:7242afd8c1684c0e2fed3bcf2df1f760
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/docs/[builtins].html
@comment MD5:ffd891c7d0ed020df2a8cc0717d83381
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/index.html
@comment MD5:246e1257606f19a5e7b473a5c1347f0c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/docs/pruviloj/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/idrisdoc/styles.css
@comment MD5:e92c3c2e672f7336855916e2f382f95b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/Runtime-common.js
@comment MD5:6d7085bb3b5d9eb77352b63aa2de2227
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/Runtime-javascript.js
@comment MD5:d137909a852e960457e39143692451e3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/Runtime-node.js
@comment MD5:0dcb18622bd29a88d855b1a94dfcbbf1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/jsbn/LICENSE
@comment MD5:32052d48bacabd1c02e56c6889082a27
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/jsbn/jsbn-browser.js
@comment MD5:a0a800047f0e0856634b4d49ac00f8ac
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/jsrts/jsbn/jsbn-node.js
@comment MD5:9c59111435775a21d3bf6e5e177d0cdc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/00base-idx.ibc
@comment MD5:f7f6595ffbf38f5383131e2ba430dc5b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Arrow.ibc
@comment MD5:16fe70649b2984f2338b1629476e4b63
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Catchable.ibc
@comment MD5:c711c4ac19bec826663553f342342f58
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Category.ibc
@comment MD5:e7718a1e7a076cb1707e407f3db694f9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/IOExcept.ibc
@comment MD5:25aa5cb851c5b0c994ddea25211c2a9f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Isomorphism.ibc
@comment MD5:2d13db5a06e3bbaa216424a793346a3b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/Identity.ibc
@comment MD5:fb65b45deec668c58223448e15099099
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/RWS.ibc
@comment MD5:c38655d75d5527b56ff7623263303f55
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/Reader.ibc
@comment MD5:9aae741570d5aba5be2bb24abdb9f0bd
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/State.ibc
@comment MD5:bccb39f9acc857e92fea2d513426ebdd
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/Trans.ibc
@comment MD5:22eae41b413f983716f43dba54d28542
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Control/Monad/Writer.ibc
@comment MD5:c2c18ae2dd48a428e981cdb91a0e36e8
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Bits.ibc
@comment MD5:fbb19b56a027b124267e905c0c221ed4
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Buffer.ibc
@comment MD5:07d5ab51d21d5e3b8dc1514110570bd7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Complex.ibc
@comment MD5:774a2bf8cf34b5eefa299e4ae292be8f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Erased.ibc
@comment MD5:b0cd74c43c1a810a4078cc673ea98bb2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Fin.ibc
@comment MD5:6dece662c34c04111a7d1bce6407c28c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/HVect.ibc
@comment MD5:947ca690e9c2553b80a502a0bfdfe982
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/IORef.ibc
@comment MD5:fac20b4abebc3187f8be48d5980f7a75
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/List.ibc
@comment MD5:0f4f2e0ef815f63e4e75ff0e6d66d0d6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/List/Quantifiers.ibc
@comment MD5:9ce25e956e3184db25358b0285496219
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/List/Views.ibc
@comment MD5:9b38f44ba2b0396cb3476b0a9a38de3b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Mod2.ibc
@comment MD5:ec3d6db6b36d8c5c73fe290d07217e24
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Morphisms.ibc
@comment MD5:04759a2aa0ab93487ab4873da2c1d975
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Nat/Views.ibc
@comment MD5:401047f3ff411a14a2162adda9b1a7b2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Primitives/Views.ibc
@comment MD5:ad721535f590e851ae7ce41463cb51d8
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/So.ibc
@comment MD5:3bf35541516123e0bdc82b3b752b9c17
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/String.ibc
@comment MD5:d3ceaddeb06b2f8b2e6bd412f08083f9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/String/Views.ibc
@comment MD5:1a0c7d6d4e936afa786b3c26d21d1934
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Vect.ibc
@comment MD5:e34a6d3cab99556391d51b781188fae5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Vect/Quantifiers.ibc
@comment MD5:da4617eb57cf78c47519306b72a3d540
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Data/Vect/Views.ibc
@comment MD5:c63982b93a39d98f92a1ce39ffc9b869
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Debug/Error.ibc
@comment MD5:353042c923e9fb002cc517ebbe05f72c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Debug/Trace.ibc
@comment MD5:39f45d85b8cabb6e5c8c3f53ca89be9c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Language/Reflection/Utils.ibc
@comment MD5:06a9aa2c9bdb539f37ffafc992c2c833
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/Syntax/PreorderReasoning.ibc
@comment MD5:97b9507597964e583c15db1513b0ea6e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/System.ibc
@comment MD5:f955420e9c7e4bcb74ecded061c505c5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/System/Concurrency/Channels.ibc
@comment MD5:3a07b230c7b75e840f5f8ce109bc87f8
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/System/Concurrency/Raw.ibc
@comment MD5:6d385b65c9a7b462ceb519ff822f6091
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/base/System/Info.ibc
@comment MD5:a97a77a6bada38a29cc7e4b46f5f4879
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/00contrib-idx.ibc
@comment MD5:617ad126261d702b1e6bbaa19805e3ed
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/CFFI.ibc
@comment MD5:31b15e56859a98449d42ec460c77eddf
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/CFFI/Memory.ibc
@comment MD5:5e5c99ddec460084d3f6a175ff62d37e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/CFFI/Types.ibc
@comment MD5:1bfb36428e49471102a89d358b587f3c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Algebra.ibc
@comment MD5:8c468b9163ef41ba43556ad7b5d46a37
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Algebra/Lattice.ibc
@comment MD5:423c341948bb767c1dfe26eb7fb6fda4
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Algebra/Laws.ibc
@comment MD5:0d56e39b9bdbc39f597f648ba34c5000
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Algebra/NumericImplementations.ibc
@comment MD5:be44e205908a32a1df1b00b3be9b9939
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Algebra/VectorSpace.ibc
@comment MD5:f4a36740bfd31eca62f697f177532a5d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Delayed.ibc
@comment MD5:e887be8bb6b04c61e25e1be2443e503f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Isomorphism/Extra.ibc
@comment MD5:72fea3731f58fe842b3f4f022ef6a0f5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Isomorphism/Fin.ibc
@comment MD5:73f39e41b4ce6e084a70fba9ce36046d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Isomorphism/Primitives.ibc
@comment MD5:f39b7f3ad628b360db1b0d039f5f200d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Isomorphism/Vect.ibc
@comment MD5:809a0ec0fea77c48785c155da73c8e03
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Monad/Syntax.ibc
@comment MD5:72fabee770a35f4654bd40ceae776bc0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Partial.ibc
@comment MD5:e566894fe1cf9790532401d4bf3cb1d7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/Pipeline.ibc
@comment MD5:d4c3727264f0cc7cd467ef6e5123abec
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/ST.ibc
@comment MD5:d175eb17f55420d2f9d9f45feed2fd92
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/ST/Exception.ibc
@comment MD5:52424bbecb4bd01e13462eaf363fcca1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/ST/File.ibc
@comment MD5:e63ed16130b57abc05ac0f4b4c65f1b5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/ST/ImplicitCall.ibc
@comment MD5:39660a878502817f78a32e5eed825b07
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Control/ST/Random.ibc
@comment MD5:4b445fcb51b7efb89ca96ac60ea70610
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Bool/Algebra.ibc
@comment MD5:3a3c2b980e77b7eb3aa571dacb3b6ee5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Bool/Extra.ibc
@comment MD5:8aa7b928b5598149ebe4e2d998a9989b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/BoundedList.ibc
@comment MD5:3f844414499eeef8bed7e40e40826869
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Chain.ibc
@comment MD5:e8d1fc6789f41d1b25f50d953f938ee0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/CoList.ibc
@comment MD5:49181f9397714af2c964dc472ae931fe
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Combinators.ibc
@comment MD5:d167426bdaa98070dfe45459edd125ee
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Combinators/Applicative.ibc
@comment MD5:2e4d9d235b80d070ac8eee7c5efbbcd5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Combinators/Arrow.ibc
@comment MD5:d4ee51a258db9613a102669e2612a4e1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Fin/Extra.ibc
@comment MD5:4d45d753c3fc338901e7f3bc6642f31d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Fuel.ibc
@comment MD5:8705fbf2cec7b16c8ca0876d2f65e480
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Fun.ibc
@comment MD5:0dc0cc6ecb0819f27b2848dbbb0376a9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Hash.ibc
@comment MD5:27baa87cc0b9cc69a999aeba6c343d5d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Heap.ibc
@comment MD5:741a009b196aeb480625ba0c33fd4aa0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/IOArray.ibc
@comment MD5:7f8ce0348d2afa2672857c670e24570f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/List/Reverse.ibc
@comment MD5:9c44f47e2acac256812666ff38fcf768
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/List/Zipper.ibc
@comment MD5:3f8e8cdca9fe9b5cfee3f7793bcb5051
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Matrix.ibc
@comment MD5:107adf04e65337586e3546e057bd3255
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Matrix/Algebraic.ibc
@comment MD5:2185550de03c2fd03bec473ee9e6bcbc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Matrix/Numeric.ibc
@comment MD5:ea76ac62c600a88412fd26e7a5aa4375
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat.ibc
@comment MD5:9df2994a48a36f5a7bcf63a1985cbd34
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/Ack.ibc
@comment MD5:f23cc9722fe2892d26a266e0a798f77f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/DivMod.ibc
@comment MD5:b8b3a27d88c07154cd3a94c582d7ab71
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/DivMod/IteratedSubtraction.ibc
@comment MD5:ebed260076c6238596c7397641ad0b1f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/Fact.ibc
@comment MD5:dedb0f6a54f9c1baf76fd359df653db2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/Fib.ibc
@comment MD5:3a2bd35e8d739983dfddedeba06814ad
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Nat/Parity.ibc
@comment MD5:a8a574f0a7d4b8a84ebf95394bfb1683
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Pairs/Implicit.ibc
@comment MD5:d266e415472c180f2ea17a1dc357a11f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/PosNat.ibc
@comment MD5:a3bf58ca3d1c845601633f4dba19257c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Rel.ibc
@comment MD5:26fa1ff7548cc9c1384a40e0d8ce60ef
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Sign.ibc
@comment MD5:78a1bd69ebf6581a861d7e48cd6acdc9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/SortedBag.ibc
@comment MD5:c5c7e6818d9b1468ecf9c65280683de6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/SortedMap.ibc
@comment MD5:21c5890e5e54c4e952f7f1bf4d4c84bc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/SortedSet.ibc
@comment MD5:8d9070c292074395c35bda6fe6cdc5d2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Storable.ibc
@comment MD5:dfc1ec5b1ff649977bfcea9e9dc28e67
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/Stream/Extra.ibc
@comment MD5:aa78612ba402ae826d74d5baea394b94
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/String/Extra.ibc
@comment MD5:d6c8dc07655f6ae4efa52db278ccd9dd
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Data/ZZ.ibc
@comment MD5:c9ba5cfe52f256bc550dfb18ec2d4c65
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Decidable/Decidable.ibc
@comment MD5:3b4d9f92fb4dd7dddb006690a9d5254c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Decidable/Order.ibc
@comment MD5:0e729bbb1b9797e4946fdad538fae3fb
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Interfaces/Correlative.ibc
@comment MD5:746c2c7c93bcdc9253b656400511a6ad
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Interfaces/Proposition.ibc
@comment MD5:396019bdf49af4190a1b500afd461cee
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Interfaces/Verified.ibc
@comment MD5:a0079e4e3a42cd879e6e7f2870dacad1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON.ibc
@comment MD5:5bf800c4d16ac657af7a8ef5e1dd8e30
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/Data.ibc
@comment MD5:29a445c226760f3fc7e1e971749e7c14
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/Lexer.ibc
@comment MD5:6c51cab3dc6f54434da41140705e26a7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/Parser.ibc
@comment MD5:479974896ba4512e4ed25778c74b90a6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/String.ibc
@comment MD5:2980a14dcc0537ee6201c49630331966
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/String/Lexer.ibc
@comment MD5:4e535eab46ace4e34d3d273aa42b92b4
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/String/Parser.ibc
@comment MD5:caec6217896f7a748d72abb4b29a95f5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/String/Tokens.ibc
@comment MD5:f622e2270e742534d58ee6232ef89c87
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Language/JSON/Tokens.ibc
@comment MD5:245d360d4527bdc929bc524964680d46
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Network/Cgi.ibc
@comment MD5:f51c36188ded3f398baf42ef7dd976bc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Network/Socket.ibc
@comment MD5:1b0676b52e71f46a644e13282a073138
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Network/Socket/Data.ibc
@comment MD5:a52639458a51efae7554e5744ea683ba
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Network/Socket/Raw.ibc
@comment MD5:d7bb8eb7d685b47cb0ab311845e7dd63
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/System/Concurrency/Process.ibc
@comment MD5:e4a36c9f5ed87e5e0ea70f7bc2aed5ac
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Test/Unit.ibc
@comment MD5:7feae551d009d56201f0f48da0fa60fb
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Test/Unit/Assertions.ibc
@comment MD5:5aa964ea641ec0d6fc3c69680b03a2be
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Test/Unit/Display.ibc
@comment MD5:ee3f4d51607d8fc13ec4f45db37b4f5e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Test/Unit/Generic.ibc
@comment MD5:db7c58037e521ce2cb8fc529e7d65dfa
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Test/Unit/Runners.ibc
@comment MD5:d4eeeeb23cc7e6d73305d4af0f6c8056
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Lexer.ibc
@comment MD5:1e2e715bf29658e243c58706030f7ba6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Lexer/Core.ibc
@comment MD5:c1c6f1d6ea63869554ea96637b6526c4
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Literate.ibc
@comment MD5:7baed768d68db3d8e2553de908b94949
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Parser.ibc
@comment MD5:df6229e72d3c6f9b67ec05049d67c52c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Parser/Core.ibc
@comment MD5:ae32477565fbe599d06151df7aaaec5c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL.ibc
@comment MD5:f7514bd1bb2a6cd32dc9948001f31fd0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Characters.ibc
@comment MD5:cd57f27b06ac5a690fde70196583f41f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Combinators.ibc
@comment MD5:ed003e9c8edc5777816a91eb916e93c8
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/PrettyPrint/WL/Core.ibc
@comment MD5:38b549d0aeb6e218765dabecf35937ed
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Quantity.ibc
@comment MD5:c6a8e99b9fad0e7b04117aeea6b5193e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/contrib/Text/Token.ibc
@comment MD5:b0a01cc665027b5cc9ce096e23ba356f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/00effects-idx.ibc
@comment MD5:7501631706476322f7b5808178f7650a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Default.ibc
@comment MD5:7f182dbc8e8cf9cf9d10d21a21e4c534
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Exception.ibc
@comment MD5:2666e5658a2c7ab357fd0f4a25fccc7e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/File.ibc
@comment MD5:eb926952220017b35537395e3d436f9b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Logging/Category.ibc
@comment MD5:9fa6c21f74aa7058b25f98731b4ca339
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Logging/Default.ibc
@comment MD5:6b8830b7bedf5b2f2228b27cfe5bd11c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Logging/Level.ibc
@comment MD5:51e482d556767ca38ee794edd7cc6f6f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Memory.ibc
@comment MD5:5becc26ad758336fd13e96777567b5d5
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Monad.ibc
@comment MD5:da6365c1ef2abd286f08c50be21a1aa4
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Perf.ibc
@comment MD5:33643691de8cc6a2d87f3dabcd5b4e7a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Random.ibc
@comment MD5:f561149e726dcbd5db94b76dc6d33fed
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Select.ibc
@comment MD5:c1e578f9e34fc962aad182d87a0f83b7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/State.ibc
@comment MD5:afb599666224d2d3aa5d4acbf641c09a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/StdIO.ibc
@comment MD5:e74f624e159df6f076930fde48943e7f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/System.ibc
@comment MD5:62e9a0236189e5d705d5a9b5b88e29fa
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effect/Trans.ibc
@comment MD5:f01ebdeb80158d5d179dcdb50bb3fcb4
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/effects/Effects.ibc
@comment MD5:1ce56835ec0ec2d48602e91fd1cf7315
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/00prelude-idx.ibc
@comment MD5:6c684a74ee7c71e1e71972fc2106dde7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Builtins.ibc
@comment MD5:c4400e49c86a99db25c27063eea99980
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Decidable/Equality.ibc
@comment MD5:337f39739b76716532037118ce7b8dea
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/IO.ibc
@comment MD5:4eb13cd07d7b6bc98c8dd93f05e20ef0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Language/Reflection.ibc
@comment MD5:d337c17f2c0aa242ddccdd52135f6b65
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Language/Reflection/Elab.ibc
@comment MD5:26158ef42be4ce0500ce996c6724d451
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Language/Reflection/Errors.ibc
@comment MD5:ea2545240c053583fb23d7522d9a1216
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude.ibc
@comment MD5:121361ca925f2238e408b43d8377a8fa
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Algebra.ibc
@comment MD5:e79d6edbbb1b23ad2fe54b4cd3c5565a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Applicative.ibc
@comment MD5:8a34b50e1c7d0c86fc1d8451a0395ddb
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Basics.ibc
@comment MD5:99b62c37e7ff14aad8f7ce12dc0708c0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Bits.ibc
@comment MD5:0a64ca87a8819464ecfbb95ff6dda60b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Bool.ibc
@comment MD5:b21054f37ba49505fdcaec5878e100e1
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Cast.ibc
@comment MD5:c6654356b33692a25c816e9b87bc1ac2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Chars.ibc
@comment MD5:33f4219ae85829934ac774c6202d5e18
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Doubles.ibc
@comment MD5:1b7f5f5db961e1fd9dd308d898fe8faa
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Either.ibc
@comment MD5:d779a18f7ac10e16d2740742b417b9f2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/File.ibc
@comment MD5:3de9c18b2d22ea2c2fb57d6c4f834d95
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Foldable.ibc
@comment MD5:fd925d24f54f1e71263197691d44639d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Functor.ibc
@comment MD5:fa98e45a28dcb9dca6c105619b23313c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Interactive.ibc
@comment MD5:4e04d2ca22f2ec794b34e3b5f2fe98d8
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Interfaces.ibc
@comment MD5:902e4baf83278c803f9f4e21946384fc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/List.ibc
@comment MD5:c0049c34cc4254fd0078340c95713973
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Maybe.ibc
@comment MD5:36b9f42679122b233c6bff9d9136cbe9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Monad.ibc
@comment MD5:3f63c606143a5e595933f7d58df9f56b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Nat.ibc
@comment MD5:e1357fef574525137fe955baea3a1804
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Pairs.ibc
@comment MD5:68ad5d45aa40f4c46366564b5709d5fe
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Providers.ibc
@comment MD5:b9da87c5a9e7f46b2db821af0883e2f0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Show.ibc
@comment MD5:afc7b87040bb490552ad3dff3fa668a6
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Stream.ibc
@comment MD5:e3193f4340a59223f04113633fc64c7a
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Strings.ibc
@comment MD5:35cb00886c3185f44b11b82b9e9e23cb
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Traversable.ibc
@comment MD5:d66942da256a737ce692a32dd16c7e91
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/Uninhabited.ibc
@comment MD5:1dd9806c21de2534c6becce8122389b9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/prelude/Prelude/WellFounded.ibc
@comment MD5:2969400f7c7c171ed93db4f3f8c004a8
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/00pruviloj-idx.ibc
@comment MD5:70acb2f889efdb0bf939ed85572f84da
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj.ibc
@comment MD5:a531835e44a1e5aa00c3630062b62d2b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Core.ibc
@comment MD5:47f4f109abd193af8c0f1358b08912f2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Derive/DecEq.ibc
@comment MD5:33ba29cd4770accc113d95450ea7b4bc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Derive/Eliminators.ibc
@comment MD5:9a04a76759754593ec2b071a2fb85de9
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Disjoint.ibc
@comment MD5:0f44376634ecc29f07713d28b4d143b7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Induction.ibc
@comment MD5:55443fe93956275b4bf8edd8f757f550
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Injective.ibc
@comment MD5:4c903d304826076e25ce174fa4f7ec53
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Internals.ibc
@comment MD5:544dd9b6e03f1e2b6dc72825e27af42b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Internals/TyConInfo.ibc
@comment MD5:608af0d1e9266a93da3d4e1252af2de4
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/libs/pruviloj/Pruviloj/Renamers.ibc
@comment MD5:76675d140b36a1ce99f49ed3ff8068cc
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/Makefile
@comment MD5:72723db3e4396ea859ddd923beaeb5e4
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/arduino/idris_main.c
@comment MD5:68d0ba88fa4d0eb360b0fbaa6d313612
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/getline.c
@comment MD5:148b6c50da97e51a91c0977733d641cd
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/getline.h
@comment MD5:e89d60e7d88c1cacc10b3c7b1fd45e7b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_bitstring.c
@comment MD5:3d00e98d060cc2ba508c8267ef2cdd2f
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_bitstring.h
@comment MD5:79c079b505af10835acf73eb3025f516
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_buffer.c
@comment MD5:c522fc9d6841f8a727851c8c2a89dc0e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_buffer.h
@comment MD5:87fee08d112b349a54b4f64e9fab6f5e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_gc.c
@comment MD5:1bcd3b98e148792117576445c2b02dcf
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_gc.h
@comment MD5:5989f66d42993aed8e9daa54fe772d39
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_gmp.c
@comment MD5:65aad918a1861ac66025073f4ea61a87
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_gmp.h
@comment MD5:08e7de9e55a5562866f98c981cf8e8a3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_heap.c
@comment MD5:112304c6d3aecee6ef7f080cff66ff96
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_heap.h
@comment MD5:010dcdf2a502475d9bdc64e1626984b7
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_main.c
@comment MD5:c891dd82b5b45a538a594918f1672591
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_net.c
@comment MD5:fe14bf2f5fd006880981155cd407be3c
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_net.h
@comment MD5:2ff4975df3558ada5ea2be7fb6182b50
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_opts.c
@comment MD5:f32eff8ee011d0b3011b00c56f270043
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_opts.h
@comment MD5:9de2517a734cbd6493596d17c1326015
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_rts.c
@comment MD5:2e551e3692d7887ce3fefab712110839
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_rts.h
@comment MD5:f7f12114ca137090384da09b78a94fcd
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_stats.c
@comment MD5:94632aea9ab256bed854a3193df31b95
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_stats.h
@comment MD5:56af2a7b4e5dffcdb96fb206b4b52c4b
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_stdfgn.c
@comment MD5:6658105ae02b64bfc9ce43c6f4646827
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_stdfgn.h
@comment MD5:783f152c7a88a76e4e88b4e07984782d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_utf8.c
@comment MD5:f117953440071478a282900ed7155c17
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/idris_utf8.h
@comment MD5:bdfdb58edcdb44af4e138687be8c61e3
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/libidris_rts.a
@comment MD5:b61387ba5e231966f44539d3b14530c2
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/libtest.c
@comment MD5:f881137628fc8dd673b761eb7a1e2432
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/mini-gmp.c
@comment MD5:b0ae33123cbee4db3247456a4e923c7d
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/mini-gmp.h
@comment MD5:8dcd64eede4dcb5e8161652318680496
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/seL4/CMakeLists.txt
@comment MD5:2af226731f284a33fbca2f0f01cae34e
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/seL4/README.md
@comment MD5:a9bc75df8d740d7ee41736232ba599a0
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/seL4/idris_main.c
@comment MD5:89913db9f4a80a68413527699dd370cb
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/windows/win_utils.c
@comment MD5:c97ed18ac52c73452e8ce9c4252cf261
share/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/rts/windows/win_utils.h
@comment MD5:10025bb239ce71dc6f18e947dfda1280
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/LICENSE
@comment MD5:3ae880fa8edbbf057ee9b72955a86c0e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/CHANGELOG.md
@comment MD5:34078889bdb678d652ff0ec64ec2a431
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/CITATION.md
@comment MD5:3e52ae29343eecb5f3d48a3419341996
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/CONTRIBUTING.md
@comment MD5:4898d6176a938ce5844965c65e09077b
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/CONTRIBUTORS
@comment MD5:7ecf786b1a3f75b8eff2f8aca6f14109
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Bytecode.html
@comment MD5:38fbfe78c38bfea3577240f265dbd29f
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-CodegenC.html
@comment MD5:813a1bfc85530e8b2c0c159ccc671033
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-CodegenCommon.html
@comment MD5:3a480f38766a37bed48e76f63892877e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-CodegenJavaScript.html
@comment MD5:6bf7aa1b6f0bca3db59bb2a2d7f142a6
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Compiler.html
@comment MD5:f4c751e763b734ca9ce40e496d691a37
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Defunctionalise.html
@comment MD5:ff8698f7c7a1e8358593dee3e4ad65ad
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-DumpBC.html
@comment MD5:e2140358bc0c88b9bc4e6eebfbfc9282
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Exports.html
@comment MD5:68f28676fe214ae60d9dc947fe0120a5
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Inliner.html
@comment MD5:e43a60d6630ba4dead598602629d6389
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-AST.html
@comment MD5:6bbc8b8d5005dbe201d4a314109a0093
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-Codegen.html
@comment MD5:0c0de50c73497ac1e70eb98d2e9baafe
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-LangTransforms.html
@comment MD5:787f84b5e9568e609b5979a98d79ae86
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-Name.html
@comment MD5:c67ff5d474d0cc3bebd0f2b653f66c28
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-PrimOp.html
@comment MD5:6db4e38a34315aad57f9c15e7fca0f5e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-JavaScript-Specialize.html
@comment MD5:db7d0ad74f89b8a25947a96832d9e014
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Lang.html
@comment MD5:105ff03f3e2a9b8a6f46c9f41969af78
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-LangOpts.html
@comment MD5:3fa9eae42e762e4fe05c524c326c2d2b
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Portable.html
@comment MD5:6a9d8ed17f1f002504fc17cd945696b4
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-Simplified.html
@comment MD5:938965c0fc178b419da699f66cbdbc3b
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/IRTS-System.html
@comment MD5:47e5eb56eecb1369b49ecb2b2391d641
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-ASTUtils.html
@comment MD5:9b8d0ad5a870cb3d32a954674b378015
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-AbsSyntax.html
@comment MD5:4e8e87a549e41a70ffdaa9d658d26f75
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-AbsSyntaxTree.html
@comment MD5:9b3e1034dcb5727524d087f95ce58e51
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Apropos.html
@comment MD5:911a07935f8e90ab430e918a82623622
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-CaseSplit.html
@comment MD5:57c2d41d1d47c4598f61d4a22a0767ba
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Chaser.html
@comment MD5:4f77bdef9ceaa22858820c66d381d926
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-CmdOptions.html
@comment MD5:f65718048f5b8f3b917e6a52637edd7a
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Colours.html
@comment MD5:f111ff567410621f84c582ffeacb2acd
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Completion.html
@comment MD5:c470b028ef33b0045a44ddb3e402bd60
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Binary.html
@comment MD5:763860827dc9606566980a1d7a25e1a9
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-CaseTree.html
@comment MD5:3afe18ab98ccb3758c5b08e122e723b8
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Constraints.html
@comment MD5:60eba3170d9c7477e2a01641e611cb38
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-DeepSeq.html
@comment MD5:09e486f8cdd60d69f33c5a94e47ea13e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Elaborate.html
@comment MD5:5f055a2cf80eecd7f67065a24d178180
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Evaluate.html
@comment MD5:0c45e79798656d1a36a5ce90ac52fef5
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Execute.html
@comment MD5:4ae1b36dc4bdef5cd44bc52b2152d192
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-ProofState.html
@comment MD5:9c1a32f02e9d5f575781417cf4247431
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-ProofTerm.html
@comment MD5:03f76954a2c2a5a72838e2f3d18362e0
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-TT.html
@comment MD5:60d1568193108659c8ac4e797880cdb2
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Typecheck.html
@comment MD5:2a0d6bff33dedceb4747b73ba68020be
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-Unify.html
@comment MD5:54baebb389c48fae50f8a6cc1fab3123
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Core-WHNF.html
@comment MD5:c4a0f7f23d6c6ecd54e44d62cc984dc8
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Coverage.html
@comment MD5:c133e775d22ad12db65359fa96e2ddd0
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-DSL.html
@comment MD5:ffd31f03699a417a0a1de2d6f4a12cd1
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-DataOpts.html
@comment MD5:3c7d97db4bdc96a09ed73b611ae42bc1
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-DeepSeq.html
@comment MD5:925965409e57af0d2b59aefc339ec29d
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Delaborate.html
@comment MD5:2c014ab96dae729cbd668335b1d97b93
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Directives.html
@comment MD5:baefbdd3b3eba278bed2b217df3d7653
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Docs.html
@comment MD5:a5778c910407ae0d6a690e6269add7d4
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Docstrings.html
@comment MD5:c868ec69365514e6dd591ad08515d5d3
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-AsPat.html
@comment MD5:5f3d243d021b720645ccfa7a5e721900
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Clause.html
@comment MD5:b13e913cb21a4153eaee7382d13a320e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Data.html
@comment MD5:7cbccf1a3b10a0cc232e7693ece9fe28
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Implementation.html
@comment MD5:a5e405fef1b8e56ed3f229d87023bc2c
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Interface.html
@comment MD5:27d37dc5fc98123ffb52791e3e0d879d
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Provider.html
@comment MD5:8b73b486678759b0edbe7d9d2db95887
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Quasiquote.html
@comment MD5:aecab53e7f06aaada32619130221da11
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Record.html
@comment MD5:e9d99106d7d47fed18050994c9befbc5
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Rewrite.html
@comment MD5:08e8fbe9add8afd799f14b8529f6b864
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-RunElab.html
@comment MD5:bbc932c37f679ea996aeb8ae3719bf68
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Term.html
@comment MD5:6d52089614239e653f095809b5b85a0b
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Transform.html
@comment MD5:7dbe23e579c925efafedf156ba3759fb
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Type.html
@comment MD5:14b05f49ff4cea969d3281f218d68cba
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Utils.html
@comment MD5:126541bbe7108e5d04806a927ff8b5b3
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Elab-Value.html
@comment MD5:2be1a8e1b9c023209ee0c079f84b7a0e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-ElabDecls.html
@comment MD5:23fd17d74a98460663228cf5b4a18545
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Erasure.html
@comment MD5:7f71fd7dee6dc0a9b559f87eb3a6a8d8
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-ErrReverse.html
@comment MD5:3a0ebcac1ec83fd35b7cb13eedea0d5c
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Error.html
@comment MD5:6cde645cfa91f49f40da77cf93f64607
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Help.html
@comment MD5:8d8926feee33316476c1532fc9e7132f
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-IBC.html
@comment MD5:81728e164fda2e134c53e6e4625442e5
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-IdeMode.html
@comment MD5:c0c9b83c8793e426c1e22e37abf1b4c6
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-IdrisDoc.html
@comment MD5:055d41b5c8437220c188f951812424f1
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Imports.html
@comment MD5:c36b19a54cf34f51e0f72cd133a9f25b
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Info-Show.html
@comment MD5:bf97abef97ab04c1f774f46d78f3d269
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Info.html
@comment MD5:2ba9eb1addf1584bcf717581f8e14fd8
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Inliner.html
@comment MD5:2c8a0205c73f8b1c3a0feaa03aee6a80
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Interactive.html
@comment MD5:c9e693101482be545ef1979618354470
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Main.html
@comment MD5:68d31aa55d87b0205d01d2dc9f2966f7
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-ModeCommon.html
@comment MD5:9f435e33c54c3dca804fe9f5d53304ca
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Options.html
@comment MD5:994d11f68e20bdd66ea8ce8ac46265eb
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Output.html
@comment MD5:5844519b9f3e9f30ffabcb096df6be8a
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Package-Common.html
@comment MD5:07c3ae0b7731c1b4912c9f6be724e5ba
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Package-Parser.html
@comment MD5:2d584c2127a7e02329659407a49608cc
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Package.html
@comment MD5:7b54018691aa85e078d24cb3ebb6ebe2
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser-Data.html
@comment MD5:430fe561823c563a4e8508e6ad166c7e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser-Expr.html
@comment MD5:f1575219b211afca3de1015a91c136c5
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser-Helpers.html
@comment MD5:47fdf32f023f55a5f77ffb60a4b1866a
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser-Ops.html
@comment MD5:cff05907d0f742bbae8653cfa249fff2
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser-Stack.html
@comment MD5:494f3b66a701a93961b28f41d8d9edc3
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Parser.html
@comment MD5:1f19d4cb5b65fd3f23e0dd6a41c19835
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-PartialEval.html
@comment MD5:f8fce0d9eaf95016760744ccfaba3431
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Primitives.html
@comment MD5:495e88cb44a4f258ccad85a4b6be9e0e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-ProofSearch.html
@comment MD5:f8642527e9b59b3d596cf64ff3d3bdf5
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Prover.html
@comment MD5:b23df1c2a637b950e8c5db1ce235e436
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Providers.html
@comment MD5:dab2cd3e2895a001040ab86afee7aafe
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-REPL-Browse.html
@comment MD5:11d7c6520c3fee96452abddc5d9644a4
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-REPL-Commands.html
@comment MD5:d9f340be836f9fca66563bc4fade5e52
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-REPL-Parser.html
@comment MD5:30923c83eca0948ff8568d233bf4e57f
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-REPL.html
@comment MD5:6a3b156ba6df7e042c5cc3d0d80b7133
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Reflection.html
@comment MD5:0fd759a0015acdfc58b8294a11c1f90d
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Termination.html
@comment MD5:1ad9be93f0deebb376350ec26c41d8c1
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Transforms.html
@comment MD5:cfe21a3e0b85208e83495c2489ceaf7b
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-TypeSearch.html
@comment MD5:17fa2745faf1e48da61df8f34079e043
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-Unlit.html
@comment MD5:ef9123886e4e3bf4345d2f8e0f30cff9
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Idris-WhoCalls.html
@comment MD5:955fc63845362a72352d495f93f5685c
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/README.md
@comment MD5:eb1e3f81484c76d01c6f47765800fd60
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/RELEASE-CHECKS.md
@comment MD5:0901bed65b963742b1d14fc30833b235
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Util-DynamicLinker.html
@comment MD5:ce91dd78145d795a9e95ef0f402df00c
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Util-ScreenSize.html
@comment MD5:10714bf3af9d8a02dd5b8293dc8a8539
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/Util-System.html
@comment MD5:070100bffca6ace80ecebf2cb5af5e23
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-95.html
@comment MD5:6695131eb7a55f3ff8cc491ccd9cefcd
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-A.html
@comment MD5:6c580f77530c13d6acdbd6a6f43d4255
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-All.html
@comment MD5:9c54bbf03e9069f46a5a3fe521b467d9
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-B.html
@comment MD5:b15b7626b4766af8d83251e392370949
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-C.html
@comment MD5:bea97ed3ed31f64c4b68ef4da7e19bd8
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-D.html
@comment MD5:b132a30e934d5407d4b8a2c090f28394
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-E.html
@comment MD5:3c6a75c1752ae870fd7c506c2993b5dd
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-F.html
@comment MD5:1f368e02db7cbb0a09b9bcfecaa8520d
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-G.html
@comment MD5:6266e7bc7d3e2bedc25145f03c95c9c9
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-H.html
@comment MD5:0760c71cabd960197bd56aebf2839f8a
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-I.html
@comment MD5:dc6ae44ba0dacd1e9d606d9fe945c876
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-J.html
@comment MD5:7fc0d998bcd6c8d45a20c9b4bb94e766
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-K.html
@comment MD5:897d3c25fc88bdba96050e4328577bbe
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-L.html
@comment MD5:c3d8336c7a8db02781befb6fa9c21083
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-M.html
@comment MD5:382fd60dd6e41a15f2a7cc22b83801f8
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-N.html
@comment MD5:b1684723b90d64cd99769e143da8a995
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-O.html
@comment MD5:6c4cc3976a6a0e7707c51b56edf9ecff
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-P.html
@comment MD5:b73a45940191386d2f22e84cc03443fe
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-Q.html
@comment MD5:a72cfd920c9c37c21471cbbac6bb1776
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-R.html
@comment MD5:6fed9ba0de99aa38e6c6996c04d5be62
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-S.html
@comment MD5:7e74340b9029a3ab64f84ee857589829
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-T.html
@comment MD5:5e8f4027bc7d2501877e832ffcd4503e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-U.html
@comment MD5:f27ffdb4bdc59a19f5c1fc18884b1eae
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-V.html
@comment MD5:d364f875e3c86711e758dc179e9ab73b
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-W.html
@comment MD5:c6f0bb8bc627ae3b5f4feb27e2246194
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index-Z.html
@comment MD5:8692a03eb959e11d7da38c188300c7a0
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/doc-index.html
@comment MD5:828936e0a5011ade83670708d043443f
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/haddock-bundle.min.js
@comment MD5:6c252f1820da89628cc25926ce9b02fc
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/idris-tutorial.pdf
@comment MD5:622438c8ea900955dacbeffe6739d245
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/idris.haddock
@comment MD5:4eae5b1f729dff2695f9d4e7fe6dfd18
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/index.html
@comment MD5:7c1003eeaeb8f46f4243c448324d64e9
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/linuwial.css
@comment MD5:d89be77bdc9713d0fa402d7c4b20a610
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/man/idris.1
@comment MD5:8165923b236d04d944a1ce68a7061133
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/meta.json
@comment MD5:9de47e237c8c4a57109baebc3db9d8d4
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/quick-jump.css
@comment MD5:e8ea295a20773770238d113be43ce1fd
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Composite.idr
@comment MD5:01fa5c14c14954888bf5d815fc05764a
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Graphics/Draw.idr
@comment MD5:7c24fcaca1c4aa361e74234f1f8b7bc4
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Graphics/Turtle.idr
@comment MD5:7b830eaa6c570a1af34fd499fc44e0c8
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Intro.idr
@comment MD5:f52932d7fe09c8ef591389c0529999b9
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Login.idr
@comment MD5:4e0d3d865185ac8da551bb5ab5d7af3a
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/LoginCount.idr
@comment MD5:9d5c3a016536dabf0ecdafbc18df6158
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Net/EchoSimple.idr
@comment MD5:73a0deee458915b58951cef353c4405e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Net/Network.idr
@comment MD5:be3b8d477ad466090dc8cc1763879b1f
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Net/RandServer.idr
@comment MD5:c45c87967afe789f4b8c650da4733874
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/Net/Threads.idr
@comment MD5:ab583ebef6b6bb70f1728d3baa4a3ce2
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/ST/TreeTag.idr
@comment MD5:1e63787843bec6a2736ff13cbc666842
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/ConsoleIO.idr
@comment MD5:b93ee672c675c63b548b4dd64acba466
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/Exception.idr
@comment MD5:6c92e114ec37d3b37f2296462507f47d
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/Random.idr
@comment MD5:0edbd88643e6de9d9c67992e6c4a4987
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/ReadInt.idr
@comment MD5:016fde37709ac1a21f04ac90dc2128f2
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/Select.idr
@comment MD5:e1332041f63cd9a95e9fa16a0b911422
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/TreeTag-noeff.idr
@comment MD5:6d1b53dcd2b448d0e81b6e4dffe7de6f
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/TreeTag.idr
@comment MD5:6f1cb8dbde8093d353d6338d255cfb82
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/TreeTagCount.idr
@comment MD5:284f1b0d7d9ca15d3039459cbff7e667
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/hworld.idr
@comment MD5:360b2bc3b3a8a9ad7ac403ba8e0b5985
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/effects/vadd.idr
@comment MD5:4a969990c065ee31057810f509635a18
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/binary.idr
@comment MD5:3efa6ac42aeb7ef4fa3da1f912d4b5ba
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/interp-alt.idr
@comment MD5:c366b059c98fab3b4e7380c0cfe2d597
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/interp.idr
@comment MD5:fe2e9a50154f2ef73bb4a90432b2ecd7
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/javaffi.idr
@comment MD5:70515e18edf247873a428b0c5a9e9ee3
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/named_implementation.lidr
@comment MD5:ccad1d410bf38f1e730e9deaf4e60c54
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/misc/reflection.idr
@comment MD5:5b26878af009f7dfd8c72a18c9f52ac0
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/BMain.idr
@comment MD5:3a2de3225252c64851cfb55290eb7429
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/BTree.idr
@comment MD5:ab65dcfa6adc2e3f60d112c8e244b1d3
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/BTreeMod.idr
@comment MD5:115db2c51c9bbe039741e2f82465deb0
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Foo.idr
@comment MD5:05dcf8c004162476ba5ed1ac49440c2e
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Hello.idr
@comment MD5:e77b6dfe14587b6aeec217d70454c5c4
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Idiom.idr
@comment MD5:2491eebe36fc9991edd693c10fb33ee5
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Interfaces.idr
@comment MD5:2b549d478a4e301f0cf82a57f0b90749
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Interp.idr
@comment MD5:9cff00debbefd7c711c01fd42b554905
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/LetBind.idr
@comment MD5:a559450634920e106036e72520fb5a8b
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Prims.idr
@comment MD5:0cfada3db5b6d296f1279cc25d5e9c04
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Record.idr
@comment MD5:d4c8f006a3e61657500818f33f187c90
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Theorems.idr
@comment MD5:66c11e6d2e1581149f290738f6667825
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Universe.idr
@comment MD5:27a93cbe1d7a4d4bd3262181f2db5350
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/UsefulTypes.idr
@comment MD5:d904c3c9204411178b991efff202e100
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/VBroken.idr
@comment MD5:15aa0ce4f2166c158df9ebc138598ac7
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Views.idr
@comment MD5:dd36597f64f59f1452ac8497bf3921b4
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/ViewsBroken.idr
@comment MD5:83736a9233b148cc7fde876c610fb8fe
share/doc/x86_64-netbsd-ghc-9.10.1/idris-1.3.4/html/samples/tutorial/Wheres.idr
@comment MD5:188557df1939b535cf65a18a7551534d
share/doc/x86_64-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
