@cwd /usr/pkg
@name idris2-0.7.0
@blddep chezscheme-10.0.0nb1
@pkgdep chezscheme-[0-9]*
@blddep gmp-6.3.0
@pkgdep gmp>=5.0.1
@blddep digest-20220214
@blddep mktools-20250213
@blddep gmake-4.4.1
@blddep cwrappers-20220403
@blddep checkperms-1.12
@comment $NetBSD: PLIST,v 1.2 2024/05/03 06:47:18 pho Exp $
bin/idris2
@comment MD5:d532f14cd029565173d0afc480d888b4
idris2-0.7.0/base-0.7.0/2023090800/Control/App.so
@comment MD5:be8ce3f9f8c8bf6bd4fcc4144af6d839
idris2-0.7.0/base-0.7.0/2023090800/Control/App.ttc
@comment MD5:65e0d56c1ff769c80586ea6485b001b2
idris2-0.7.0/base-0.7.0/2023090800/Control/App.ttm
@comment MD5:99851c4c1a1af896ac4051966253f067
idris2-0.7.0/base-0.7.0/2023090800/Control/App/Console.so
@comment MD5:ece95738a2f68ff993aad9c24b303225
idris2-0.7.0/base-0.7.0/2023090800/Control/App/Console.ttc
@comment MD5:3dce7965245c9d57a99fbe0f4f377ab3
idris2-0.7.0/base-0.7.0/2023090800/Control/App/Console.ttm
@comment MD5:9b8889894bf082c7dbf340354f967c2f
idris2-0.7.0/base-0.7.0/2023090800/Control/App/FileIO.so
@comment MD5:9b84b8411372719e584dc8d169a9cd00
idris2-0.7.0/base-0.7.0/2023090800/Control/App/FileIO.ttc
@comment MD5:61b0de9258552fb5070295a564376ca5
idris2-0.7.0/base-0.7.0/2023090800/Control/App/FileIO.ttm
@comment MD5:706a2c6ecbe0b1bfc625f29d24ff5992
idris2-0.7.0/base-0.7.0/2023090800/Control/Applicative/Const.so
@comment MD5:01ee84d521ce123443bd956ab175e83d
idris2-0.7.0/base-0.7.0/2023090800/Control/Applicative/Const.ttc
@comment MD5:91d7d0f342467f125ff0363cd75c1990
idris2-0.7.0/base-0.7.0/2023090800/Control/Applicative/Const.ttm
@comment MD5:90d07daff51597611a3b0bd62d8d00a9
idris2-0.7.0/base-0.7.0/2023090800/Control/Function.so
@comment MD5:492cb2753a466ee883aba6aecda03a52
idris2-0.7.0/base-0.7.0/2023090800/Control/Function.ttc
@comment MD5:ebdaabb7c8e40365bbe45f1fa57e2ea6
idris2-0.7.0/base-0.7.0/2023090800/Control/Function.ttm
@comment MD5:352b41116404739457ab82d424e8b1b1
idris2-0.7.0/base-0.7.0/2023090800/Control/Function/FunExt.so
@comment MD5:56a2a85261364100ffe30cb815ad8b83
idris2-0.7.0/base-0.7.0/2023090800/Control/Function/FunExt.ttc
@comment MD5:a4290776176b595e74b4cd5466bc4aa7
idris2-0.7.0/base-0.7.0/2023090800/Control/Function/FunExt.ttm
@comment MD5:7bbc488f0b1ce1fbcece7ba43256548a
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Either.ttc
@comment MD5:b9d884272edc5c4b8ac2a85090378983
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Either.ttm
@comment MD5:985fdcce152759b99b1a8d61d951143e
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error/Either.so
@comment MD5:46f004edd2ce62b48f054593ee39c40b
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error/Either.ttc
@comment MD5:dfb2602d851801b91d3c77028d7b8ec0
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error/Either.ttm
@comment MD5:a075d03bc99ee41f662ea1a5025ec137
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error/Interface.so
@comment MD5:90d4af4b62539fdfef8c09e0f11c2b06
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error/Interface.ttc
@comment MD5:664d767b9ed6a7873b4d21d5e57ac9a1
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error/Interface.ttm
@comment MD5:b7e75919f6f61cc7a91502dbd8e15bd8
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Identity.so
@comment MD5:b1ed354f08d0bb2912a2b2f49030d31e
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Identity.ttc
@comment MD5:eb3b0d210d8517909bdd21a1419eb6b1
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Identity.ttm
@comment MD5:7608d4b598c1bc1b8367efca143b642f
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Maybe.so
@comment MD5:0dbdd7a6b33e1784f340e1986764c468
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Maybe.ttc
@comment MD5:cfc76992aa02e19db432125f866ec958
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Maybe.ttm
@comment MD5:79815666140f21aa2881814a4ac8c1c5
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS.ttc
@comment MD5:9c5452042b396592a180fc34be9a83d3
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS.ttm
@comment MD5:ec6b28f718a262d4a48acc78da74b93d
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS/CPS.so
@comment MD5:5fc8755a533e593e5e3f537626c5edec
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS/CPS.ttc
@comment MD5:dbc98307f4306c926d5899b7ec11d0ef
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS/CPS.ttm
@comment MD5:3a0026db1f0207e11f9427ac5e8de158
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS/Interface.so
@comment MD5:a57cab86e9c2ad496f23ba707077ee3f
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS/Interface.ttc
@comment MD5:bd7a10dc9a093b087fc2f676aebcb7d6
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS/Interface.ttm
@comment MD5:4340517425b4a353b29d96c043b14baa
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader.ttc
@comment MD5:e918576b9ac6ed9e6690b48a43564aa6
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader.ttm
@comment MD5:6793af768b5686c600cc164477845641
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader/Interface.so
@comment MD5:4b7fb7815c3abd32b1574aa384f362a1
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader/Interface.ttc
@comment MD5:79ac041cc77d246c2d42bc7badfb89dd
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader/Interface.ttm
@comment MD5:6ea6ae0b7c015e99836df32350264a86
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader/Reader.so
@comment MD5:2dc54c653376f3d16f92c7b5ed119159
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader/Reader.ttc
@comment MD5:7fc3a4e74c320e5691db1bd900fc125a
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader/Reader.ttm
@comment MD5:6690ccf09f25c2d7fb8d9b31daa8ef9b
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/ST.so
@comment MD5:3ae9e285682e296cb4c90ae08196586b
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/ST.ttc
@comment MD5:4e23163044a8dbb86e3d26dbd3bccffd
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/ST.ttm
@comment MD5:8819b8352100ec92c9a34f03f8b3936a
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State.ttc
@comment MD5:195e4ecc39887da1c8b591b6fcade9ee
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State.ttm
@comment MD5:773cd509c148510d10d6bd2e58d01657
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State/Interface.so
@comment MD5:521fe70d8f4263605d94a27d79448dde
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State/Interface.ttc
@comment MD5:f113c5eb3f9b5114cdd599b7edc06b8e
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State/Interface.ttm
@comment MD5:8178fc202acb141d10b3e72503861f46
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State/State.so
@comment MD5:7da4e50ec6f208153c24401a576095a1
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State/State.ttc
@comment MD5:8a54bc126946da6bb048d3e9829af5de
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State/State.ttm
@comment MD5:6a8ac869ac0badfe1507341d43e447be
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Trans.so
@comment MD5:cd91ea476d467771372b5899c8734986
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Trans.ttc
@comment MD5:ff6524eeacb7c4a0288abccd13a484d5
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Trans.ttm
@comment MD5:f31888272ea7c16de74779812d28cde3
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer.ttc
@comment MD5:7d056f819f3a60547e5326b2a98c23fa
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer.ttm
@comment MD5:d8712f470139ce15a4fda8ebf1d4817a
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer/CPS.so
@comment MD5:b48b1ec34d24efdddf34914716e51f61
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer/CPS.ttc
@comment MD5:4611b5fc20db6f1d6a4c585c202f7abb
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer/CPS.ttm
@comment MD5:08a9713f0e9cc27cc734eab5a7189354
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer/Interface.so
@comment MD5:6b0c8b96e5d3c86481eef9e56c500987
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer/Interface.ttc
@comment MD5:ebafc6d683df25fb40a28861f4262e1f
idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer/Interface.ttm
@comment MD5:770178a34290a0b0925d956565570cc7
idris2-0.7.0/base-0.7.0/2023090800/Control/Ord.so
@comment MD5:d2a1851fcca25d4d5532c544078ccc1a
idris2-0.7.0/base-0.7.0/2023090800/Control/Ord.ttc
@comment MD5:ec26f938d09731b237aef2d5d9328773
idris2-0.7.0/base-0.7.0/2023090800/Control/Ord.ttm
@comment MD5:0ec4f16a7ff7f2785cae83b8b1fdc3c1
idris2-0.7.0/base-0.7.0/2023090800/Control/Order.so
@comment MD5:d99720f72e4dadec81bfd2c19c4a7302
idris2-0.7.0/base-0.7.0/2023090800/Control/Order.ttc
@comment MD5:b13aa5d9dc6e683de158fbf318590ed7
idris2-0.7.0/base-0.7.0/2023090800/Control/Order.ttm
@comment MD5:97f5ed4737f0178d84384305808b5d21
idris2-0.7.0/base-0.7.0/2023090800/Control/Relation.so
@comment MD5:c7519d731343fc0f4da19847a2c79c89
idris2-0.7.0/base-0.7.0/2023090800/Control/Relation.ttc
@comment MD5:f7891c832670f8c4bd068d595be83c43
idris2-0.7.0/base-0.7.0/2023090800/Control/Relation.ttm
@comment MD5:ef8e58bb4ce27530f8415ec1d6f959fb
idris2-0.7.0/base-0.7.0/2023090800/Control/Relation/Closure.so
@comment MD5:f45d37b42b98ce8101ce638aba735f7b
idris2-0.7.0/base-0.7.0/2023090800/Control/Relation/Closure.ttc
@comment MD5:bb6a7c5fd8a167f32530abb016de3c98
idris2-0.7.0/base-0.7.0/2023090800/Control/Relation/Closure.ttm
@comment MD5:d9517daf1552cc69107a263c34bf21bc
idris2-0.7.0/base-0.7.0/2023090800/Control/WellFounded.so
@comment MD5:fcbf27d73792210f3670940c7280d735
idris2-0.7.0/base-0.7.0/2023090800/Control/WellFounded.ttc
@comment MD5:1b6fb2ae3945d4266255a6ab388989dd
idris2-0.7.0/base-0.7.0/2023090800/Control/WellFounded.ttm
@comment MD5:519d96f9b43f27b57c1059f930af2b4f
idris2-0.7.0/base-0.7.0/2023090800/Data/Bifoldable.so
@comment MD5:ed86190ff25845ae0ac9a8dbc436bf93
idris2-0.7.0/base-0.7.0/2023090800/Data/Bifoldable.ttc
@comment MD5:98d45b376dc879da700440dca3d69b68
idris2-0.7.0/base-0.7.0/2023090800/Data/Bifoldable.ttm
@comment MD5:0a48a50de8a9af6d609335f1717e9615
idris2-0.7.0/base-0.7.0/2023090800/Data/Bits.so
@comment MD5:5ddbdc83a7e3caab0b49a0ab02a328c7
idris2-0.7.0/base-0.7.0/2023090800/Data/Bits.ttc
@comment MD5:ca55d556e47dabb53daca2966476d2ff
idris2-0.7.0/base-0.7.0/2023090800/Data/Bits.ttm
@comment MD5:e21f4fd6a484ce7d84353e54c9367e78
idris2-0.7.0/base-0.7.0/2023090800/Data/Bool.so
@comment MD5:e76ba01195d9f4c3f245769762818ea9
idris2-0.7.0/base-0.7.0/2023090800/Data/Bool.ttc
@comment MD5:13989197d1ada555dc4d7bcf6c02a581
idris2-0.7.0/base-0.7.0/2023090800/Data/Bool.ttm
@comment MD5:178d68f4b5d1ab41a8d12c86e325a86a
idris2-0.7.0/base-0.7.0/2023090800/Data/Bool/Xor.so
@comment MD5:2119b979fd2ff8f3f7cdb476ac695f63
idris2-0.7.0/base-0.7.0/2023090800/Data/Bool/Xor.ttc
@comment MD5:3fa68c24a24c9b4c6aa55d52302e5657
idris2-0.7.0/base-0.7.0/2023090800/Data/Bool/Xor.ttm
@comment MD5:6848ea2d6417cda523e0870266dca6de
idris2-0.7.0/base-0.7.0/2023090800/Data/Buffer.so
@comment MD5:c177bcbd5a827885baf678cef56ffb28
idris2-0.7.0/base-0.7.0/2023090800/Data/Buffer.ttc
@comment MD5:093f61d51b49362b0e62f4c27ea979f9
idris2-0.7.0/base-0.7.0/2023090800/Data/Buffer.ttm
@comment MD5:7d42376a6c8ec20d190b6dcca817873b
idris2-0.7.0/base-0.7.0/2023090800/Data/Colist.so
@comment MD5:88e54281b7753fcd34fedcdd0537be2f
idris2-0.7.0/base-0.7.0/2023090800/Data/Colist.ttc
@comment MD5:92ea13ae495b7091dc9a95fb7918faaa
idris2-0.7.0/base-0.7.0/2023090800/Data/Colist.ttm
@comment MD5:9ee5512cad1331541f312b127736183d
idris2-0.7.0/base-0.7.0/2023090800/Data/Colist1.so
@comment MD5:6fddc6b48d9ee3afb29e1955047ebb5a
idris2-0.7.0/base-0.7.0/2023090800/Data/Colist1.ttc
@comment MD5:deb76557ff188b5e18bbaaef141865d5
idris2-0.7.0/base-0.7.0/2023090800/Data/Colist1.ttm
@comment MD5:32b0d04bc2ea2339352fd9c208d14168
idris2-0.7.0/base-0.7.0/2023090800/Data/Contravariant.so
@comment MD5:0c3f9d4cdc85ad70e30b1c77a0cf40d2
idris2-0.7.0/base-0.7.0/2023090800/Data/Contravariant.ttc
@comment MD5:e8d982bcc62f468ccd4bbbf273d1919d
idris2-0.7.0/base-0.7.0/2023090800/Data/Contravariant.ttm
@comment MD5:215eef846cddf0ed30a81571674b3daf
idris2-0.7.0/base-0.7.0/2023090800/Data/DPair.so
@comment MD5:fdb8351df6a89942c7170d92aed3b537
idris2-0.7.0/base-0.7.0/2023090800/Data/DPair.ttc
@comment MD5:d44fafd1c8906f9f4fdcc97b5a2cd073
idris2-0.7.0/base-0.7.0/2023090800/Data/DPair.ttm
@comment MD5:17eebed848d95f0d787af1fd295ecf6f
idris2-0.7.0/base-0.7.0/2023090800/Data/Double.so
@comment MD5:11b9509dcc2665d5ececec9ab6805b7d
idris2-0.7.0/base-0.7.0/2023090800/Data/Double.ttc
@comment MD5:6b90e196267137011ff8b8c90d45b2dc
idris2-0.7.0/base-0.7.0/2023090800/Data/Double.ttm
@comment MD5:d98e8f442d595e9be402245010c1f988
idris2-0.7.0/base-0.7.0/2023090800/Data/Either.so
@comment MD5:46416283c2493c47a0c2cbe897ad9371
idris2-0.7.0/base-0.7.0/2023090800/Data/Either.ttc
@comment MD5:41c9f367dbeff7eff267a31814462e25
idris2-0.7.0/base-0.7.0/2023090800/Data/Either.ttm
@comment MD5:ebcb4bde2e0640c1fe297b02ba7195b7
idris2-0.7.0/base-0.7.0/2023090800/Data/Fin.so
@comment MD5:a6a3cad8b4cb41a0de32692e29aacdde
idris2-0.7.0/base-0.7.0/2023090800/Data/Fin.ttc
@comment MD5:5fa3a4f793e7d47c06f65d73ad297ed5
idris2-0.7.0/base-0.7.0/2023090800/Data/Fin.ttm
@comment MD5:4069bbaaab52d81e992c308ce4253135
idris2-0.7.0/base-0.7.0/2023090800/Data/Fin/Order.so
@comment MD5:c966f5b5686b5e2b5ecfc8db9665b3c9
idris2-0.7.0/base-0.7.0/2023090800/Data/Fin/Order.ttc
@comment MD5:f638397838d117c445b554f9cb05f965
idris2-0.7.0/base-0.7.0/2023090800/Data/Fin/Order.ttm
@comment MD5:c63bd22862345aeb3030b80aeb6c5553
idris2-0.7.0/base-0.7.0/2023090800/Data/Fuel.so
@comment MD5:aed950cc61f681a6453ce8baab63b290
idris2-0.7.0/base-0.7.0/2023090800/Data/Fuel.ttc
@comment MD5:ebac5b025113928bc2881a1a2ba398e9
idris2-0.7.0/base-0.7.0/2023090800/Data/Fuel.ttm
@comment MD5:2a66514fb97bf6cbe841a79db54d3d7b
idris2-0.7.0/base-0.7.0/2023090800/Data/Fun.so
@comment MD5:bcfaf8066c9e51b5abff656a3ca6e055
idris2-0.7.0/base-0.7.0/2023090800/Data/Fun.ttc
@comment MD5:9140b732f63fbbe506794cc2c68f22fc
idris2-0.7.0/base-0.7.0/2023090800/Data/Fun.ttm
@comment MD5:69eb9611d4a51c4d1de008f6de01565e
idris2-0.7.0/base-0.7.0/2023090800/Data/IOArray.so
@comment MD5:53dea8db10f6a5703791f4101914b51e
idris2-0.7.0/base-0.7.0/2023090800/Data/IOArray.ttc
@comment MD5:a03a35aac4a7c0952fa3196c2b4879be
idris2-0.7.0/base-0.7.0/2023090800/Data/IOArray.ttm
@comment MD5:d38be728c5495ac719e4a4008a924a20
idris2-0.7.0/base-0.7.0/2023090800/Data/IOArray/Prims.so
@comment MD5:62adb99cb8f8c1e328122c980d288b05
idris2-0.7.0/base-0.7.0/2023090800/Data/IOArray/Prims.ttc
@comment MD5:8628c04a229ed4ab36730fb616d826a3
idris2-0.7.0/base-0.7.0/2023090800/Data/IOArray/Prims.ttm
@comment MD5:0e63cdbc25428007db521b352b3b687a
idris2-0.7.0/base-0.7.0/2023090800/Data/IORef.so
@comment MD5:2b5a1a9749549a3504e4aa95a1014499
idris2-0.7.0/base-0.7.0/2023090800/Data/IORef.ttc
@comment MD5:19cd93005e96a00621d54a43147304ae
idris2-0.7.0/base-0.7.0/2023090800/Data/IORef.ttm
@comment MD5:2b87b4254de7f71dbf1eb787a5256582
idris2-0.7.0/base-0.7.0/2023090800/Data/Integral.so
@comment MD5:5bc011b5f26d8fcbb0c24045732a141c
idris2-0.7.0/base-0.7.0/2023090800/Data/Integral.ttc
@comment MD5:1e56ad1ad8222401e3136b269de42a96
idris2-0.7.0/base-0.7.0/2023090800/Data/Integral.ttm
@comment MD5:a78adedc3c9fa7ea10ded0692400381f
idris2-0.7.0/base-0.7.0/2023090800/Data/List.so
@comment MD5:8bfa9f940daefc9423ed298e90b39060
idris2-0.7.0/base-0.7.0/2023090800/Data/List.ttc
@comment MD5:4130e4fc7ec4e6233070e124c8b26514
idris2-0.7.0/base-0.7.0/2023090800/Data/List.ttm
@comment MD5:30360ea12f19b77615709d12384e361f
idris2-0.7.0/base-0.7.0/2023090800/Data/List/Elem.so
@comment MD5:e9d667f72041701bc9ae6549562f6e8a
idris2-0.7.0/base-0.7.0/2023090800/Data/List/Elem.ttc
@comment MD5:be29316b65df2bffa55be0b5043a2cea
idris2-0.7.0/base-0.7.0/2023090800/Data/List/Elem.ttm
@comment MD5:3196d37011429ed3d771c9f0b3d6c747
idris2-0.7.0/base-0.7.0/2023090800/Data/List/HasLength.so
@comment MD5:571754d3fc00a801b8196822bda72c8e
idris2-0.7.0/base-0.7.0/2023090800/Data/List/HasLength.ttc
@comment MD5:f8708e71381bf9190628e6b1669fbfa9
idris2-0.7.0/base-0.7.0/2023090800/Data/List/HasLength.ttm
@comment MD5:1dd923e33fc72a78061552c88d07b330
idris2-0.7.0/base-0.7.0/2023090800/Data/List/Quantifiers.so
@comment MD5:7934e4e109655459b79c98a68ee4aa54
idris2-0.7.0/base-0.7.0/2023090800/Data/List/Quantifiers.ttc
@comment MD5:853b23230f752131573eb320cda6bb32
idris2-0.7.0/base-0.7.0/2023090800/Data/List/Quantifiers.ttm
@comment MD5:cd1f1c653193aab99fc9caeb29ee9858
idris2-0.7.0/base-0.7.0/2023090800/Data/List/Views.so
@comment MD5:1ccc5a02fd03e42f445679c310e751ac
idris2-0.7.0/base-0.7.0/2023090800/Data/List/Views.ttc
@comment MD5:3fb4bb0297b956236115cb0ad2c583dc
idris2-0.7.0/base-0.7.0/2023090800/Data/List/Views.ttm
@comment MD5:1bacbd5bdf5fee4a395699c10eb648e0
idris2-0.7.0/base-0.7.0/2023090800/Data/List1.so
@comment MD5:384d853efd6fb3a833f04f1257a74910
idris2-0.7.0/base-0.7.0/2023090800/Data/List1.ttc
@comment MD5:6b0557f349e9a18d6f3baff2244c509c
idris2-0.7.0/base-0.7.0/2023090800/Data/List1.ttm
@comment MD5:020c3f42282f240d3bb3441d1846b8c1
idris2-0.7.0/base-0.7.0/2023090800/Data/List1/Elem.so
@comment MD5:7308d77c9f9b517f9ae52ce9078c341c
idris2-0.7.0/base-0.7.0/2023090800/Data/List1/Elem.ttc
@comment MD5:b8a5f176697f50f1ff5b6d89f12246d6
idris2-0.7.0/base-0.7.0/2023090800/Data/List1/Elem.ttm
@comment MD5:3b308396d92aa8c63d75a8305302a3e9
idris2-0.7.0/base-0.7.0/2023090800/Data/List1/Properties.so
@comment MD5:2a4a17b54258e61970bc973b8f955f9b
idris2-0.7.0/base-0.7.0/2023090800/Data/List1/Properties.ttc
@comment MD5:8ac86c00ab9d3a143d2291090577c6f5
idris2-0.7.0/base-0.7.0/2023090800/Data/List1/Properties.ttm
@comment MD5:907b734efa8e25d6d88ba9cd8918e5aa
idris2-0.7.0/base-0.7.0/2023090800/Data/List1/Quantifiers.so
@comment MD5:d6fd981aff18168d22d5979478b22e1b
idris2-0.7.0/base-0.7.0/2023090800/Data/List1/Quantifiers.ttc
@comment MD5:76bd68ca5a0d1c83c35659f55226d852
idris2-0.7.0/base-0.7.0/2023090800/Data/List1/Quantifiers.ttm
@comment MD5:c165fd9fb9c5c5be748f72cca98618c0
idris2-0.7.0/base-0.7.0/2023090800/Data/Maybe.so
@comment MD5:4f41ce7d9ec103ada259a181a3e9a528
idris2-0.7.0/base-0.7.0/2023090800/Data/Maybe.ttc
@comment MD5:58d51623c4838c2ac347926196b35c9b
idris2-0.7.0/base-0.7.0/2023090800/Data/Maybe.ttm
@comment MD5:53a2fcf607466f6808dc1010b714874c
idris2-0.7.0/base-0.7.0/2023090800/Data/Morphisms.so
@comment MD5:a6e07de5062829351088157aa892c00b
idris2-0.7.0/base-0.7.0/2023090800/Data/Morphisms.ttc
@comment MD5:17d5fd8b51d86ab46e9869add04e094c
idris2-0.7.0/base-0.7.0/2023090800/Data/Morphisms.ttm
@comment MD5:474d8923a594e226d94024a461573218
idris2-0.7.0/base-0.7.0/2023090800/Data/Nat.so
@comment MD5:6ba4f6db838d95a82c264cdb3a88bdf8
idris2-0.7.0/base-0.7.0/2023090800/Data/Nat.ttc
@comment MD5:5642394575d41bb4398e4a6023ba957d
idris2-0.7.0/base-0.7.0/2023090800/Data/Nat.ttm
@comment MD5:33681d41a7829a52d68753aeaf2b06e6
idris2-0.7.0/base-0.7.0/2023090800/Data/Nat/Order.so
@comment MD5:0ba69803224c0b8d262038fb4656f610
idris2-0.7.0/base-0.7.0/2023090800/Data/Nat/Order.ttc
@comment MD5:e70b7ab8bfee209bd4a1844b92dec74b
idris2-0.7.0/base-0.7.0/2023090800/Data/Nat/Order.ttm
@comment MD5:6781bbcb0c304f314f3f665c158d8ac6
idris2-0.7.0/base-0.7.0/2023090800/Data/Nat/Views.so
@comment MD5:27e9aed4d0b76fa089452de6665262e9
idris2-0.7.0/base-0.7.0/2023090800/Data/Nat/Views.ttc
@comment MD5:b93a3ef2393d296c2e1a43721662e335
idris2-0.7.0/base-0.7.0/2023090800/Data/Nat/Views.ttm
@comment MD5:bcd0c84194f266db5a146a0b0c524735
idris2-0.7.0/base-0.7.0/2023090800/Data/Primitives/Views.so
@comment MD5:51915e316f2e050eecb249ee3703a8e8
idris2-0.7.0/base-0.7.0/2023090800/Data/Primitives/Views.ttc
@comment MD5:fca52f419de0262a8a78c1905588c654
idris2-0.7.0/base-0.7.0/2023090800/Data/Primitives/Views.ttm
@comment MD5:7283a58a58ebf198b0f9d8c7d4563dd8
idris2-0.7.0/base-0.7.0/2023090800/Data/Ref.so
@comment MD5:652c056a47f99749fe32456010c963cb
idris2-0.7.0/base-0.7.0/2023090800/Data/Ref.ttc
@comment MD5:c35bdf1a620a0376538b04c64be2509a
idris2-0.7.0/base-0.7.0/2023090800/Data/Ref.ttm
@comment MD5:d4cab9726b8a47778688c17a77ddbc81
idris2-0.7.0/base-0.7.0/2023090800/Data/Rel.so
@comment MD5:7657bffa24b8653e8afa96226e210cdf
idris2-0.7.0/base-0.7.0/2023090800/Data/Rel.ttc
@comment MD5:b88763aebafffb3eb4f74bf2619859c9
idris2-0.7.0/base-0.7.0/2023090800/Data/Rel.ttm
@comment MD5:034d6f25a7e88b839353c6fd3a0ff50b
idris2-0.7.0/base-0.7.0/2023090800/Data/Singleton.so
@comment MD5:5e399d9e65c13ac5a695133660defe65
idris2-0.7.0/base-0.7.0/2023090800/Data/Singleton.ttc
@comment MD5:d19739a9830997097eab40ddde534f03
idris2-0.7.0/base-0.7.0/2023090800/Data/Singleton.ttm
@comment MD5:9fc2902c701f8bfca316e16ea6ba1f04
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList.so
@comment MD5:571c7f06b8c7efff9474272f6feda533
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList.ttc
@comment MD5:e5b3a1c67f783319407d5d7ad65efa7c
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList.ttm
@comment MD5:66e278c838b3ecd5de10d38efca33be6
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList/Elem.so
@comment MD5:c0eb8003d6e4b0e66d3490bb84aebd8c
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList/Elem.ttc
@comment MD5:9bb4cf19bda7b671ded2fa29335a78bd
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList/Elem.ttm
@comment MD5:19b454c5e07e757c48120e8750746127
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList/Operations.so
@comment MD5:c43f6ece97fc7ee6d43cde105532d0b8
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList/Operations.ttc
@comment MD5:e12de06815733b5d31b6ba895c361ab4
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList/Operations.ttm
@comment MD5:23fbb9bac7bf7e4a158ab7a9672a04e9
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList/Quantifiers.so
@comment MD5:98705610677fcf3ae4fa0d60afcb13a6
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList/Quantifiers.ttc
@comment MD5:c88ac22ac08280713ec790ee75a8056e
idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList/Quantifiers.ttm
@comment MD5:8dfacb8cf440f4e5c116d4b45de9f9dc
idris2-0.7.0/base-0.7.0/2023090800/Data/So.so
@comment MD5:7be7306021d8bcb4a7caff1b7301b66f
idris2-0.7.0/base-0.7.0/2023090800/Data/So.ttc
@comment MD5:d16fba44a3a5252965b976db41f95a88
idris2-0.7.0/base-0.7.0/2023090800/Data/So.ttm
@comment MD5:2165232a044623fd51bc34d86fdd30cf
idris2-0.7.0/base-0.7.0/2023090800/Data/SortedMap.so
@comment MD5:9b2fd067d68e9dc80131f5153177580f
idris2-0.7.0/base-0.7.0/2023090800/Data/SortedMap.ttc
@comment MD5:ec470650316f621cb33ba28d2624363f
idris2-0.7.0/base-0.7.0/2023090800/Data/SortedMap.ttm
@comment MD5:80bbf0c9e0c338177e5574cc5580d02c
idris2-0.7.0/base-0.7.0/2023090800/Data/SortedMap/Dependent.so
@comment MD5:cbf6db5802c93eb7bceb44a0ebc1e329
idris2-0.7.0/base-0.7.0/2023090800/Data/SortedMap/Dependent.ttc
@comment MD5:9cd84edce6852701d7f617c8db573e65
idris2-0.7.0/base-0.7.0/2023090800/Data/SortedMap/Dependent.ttm
@comment MD5:61f478243988d38d9d8e1d234f1547ea
idris2-0.7.0/base-0.7.0/2023090800/Data/SortedSet.so
@comment MD5:a83207d528cb7197d7f5ebd6ecf8fa6e
idris2-0.7.0/base-0.7.0/2023090800/Data/SortedSet.ttc
@comment MD5:00c1b5bf66544ee5c558468ac6a490c9
idris2-0.7.0/base-0.7.0/2023090800/Data/SortedSet.ttm
@comment MD5:ea524398f84c2ad06a3beed7759c5039
idris2-0.7.0/base-0.7.0/2023090800/Data/Stream.so
@comment MD5:24b011ac3cfff441f3c9df8ce105abd9
idris2-0.7.0/base-0.7.0/2023090800/Data/Stream.ttc
@comment MD5:a971d920156a4f288ca4ec4f0140cbbc
idris2-0.7.0/base-0.7.0/2023090800/Data/Stream.ttm
@comment MD5:484a09e0aa292a681a1a8fd2b1198f34
idris2-0.7.0/base-0.7.0/2023090800/Data/String.so
@comment MD5:a1e58bba3d344fb9086f7aa989f04f59
idris2-0.7.0/base-0.7.0/2023090800/Data/String.ttc
@comment MD5:221712785c665fd1b2e3cfd324cbc201
idris2-0.7.0/base-0.7.0/2023090800/Data/String.ttm
@comment MD5:3d34a836b186383bb6bc5163e2013fcb
idris2-0.7.0/base-0.7.0/2023090800/Data/These.so
@comment MD5:45951f02a544428e3c9aea3cf8dd1a5c
idris2-0.7.0/base-0.7.0/2023090800/Data/These.ttc
@comment MD5:4b97f9c0156fc5189e0db9e6c41a5823
idris2-0.7.0/base-0.7.0/2023090800/Data/These.ttm
@comment MD5:4a9946464e5abc89cb1968330c9d6631
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect.so
@comment MD5:369ec839289b1ed3a0ead3f5eebc6122
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect.ttc
@comment MD5:c541d9c379c34463472cb266dbe9e47a
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect.ttm
@comment MD5:d18684602775d80e131e8e59f7b31000
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect/AtIndex.so
@comment MD5:f5cb31667de38b4de9eaa8b82faaca6e
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect/AtIndex.ttc
@comment MD5:163d674ff8128bb8addda636a6685b2a
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect/AtIndex.ttm
@comment MD5:62050eba13ce010c4c4ac33c7b25f632
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect/Elem.so
@comment MD5:f8cc570f5f07a7f009044f59c6990575
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect/Elem.ttc
@comment MD5:243645c47e85a69ce58f1452641d4d83
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect/Elem.ttm
@comment MD5:15e773f99b093e48549d63a63bdbaf0b
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect/Quantifiers.so
@comment MD5:f488c2062d9c7789a4bd46189cc10f21
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect/Quantifiers.ttc
@comment MD5:64865b0e403c1cbe442fe83fb828ad18
idris2-0.7.0/base-0.7.0/2023090800/Data/Vect/Quantifiers.ttm
@comment MD5:4605d78b72c2ae62bbf4ca93b084dee8
idris2-0.7.0/base-0.7.0/2023090800/Data/Zippable.so
@comment MD5:37807e8cb7e13c1e6c502440ff9ca009
idris2-0.7.0/base-0.7.0/2023090800/Data/Zippable.ttc
@comment MD5:885bf0ced8128e018872bd99528b2178
idris2-0.7.0/base-0.7.0/2023090800/Data/Zippable.ttm
@comment MD5:5bd0cb2af3d0790cc2319a3efab56957
idris2-0.7.0/base-0.7.0/2023090800/Debug/Trace.so
@comment MD5:b646b8dcfe0f3db50c073932f662131a
idris2-0.7.0/base-0.7.0/2023090800/Debug/Trace.ttc
@comment MD5:e649e52a725d73cec95458587969e6c4
idris2-0.7.0/base-0.7.0/2023090800/Debug/Trace.ttm
@comment MD5:e68274c54b2b79cf04784892f31af8b8
idris2-0.7.0/base-0.7.0/2023090800/Decidable/Decidable.so
@comment MD5:c4b17896b5adcda11ca2dfa99d8feb62
idris2-0.7.0/base-0.7.0/2023090800/Decidable/Decidable.ttc
@comment MD5:4d0fff0429f48f12ea5f99d9518269a1
idris2-0.7.0/base-0.7.0/2023090800/Decidable/Decidable.ttm
@comment MD5:d66d6a2c64db252cfb316d76470bd4a6
idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality.so
@comment MD5:1601d6d1146f7adceb832b09f06002b5
idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality.ttc
@comment MD5:8892948bc348abeb05a999cf9abe5132
idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality.ttm
@comment MD5:3b83bf32a2d235598ad7aebfffeaa2fa
idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality/Core.so
@comment MD5:26db3679c538564dcf0e322fb0aad741
idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality/Core.ttc
@comment MD5:57c2bd165d71bc3b3f465af228a7b7c0
idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality/Core.ttm
@comment MD5:fd63058fce835008ffa26a2587ac9720
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Common.so
@comment MD5:30757534e5f002b7471b9aff8a279991
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Common.ttc
@comment MD5:f20dab527870a08453071fd2f8e8533e
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Common.ttm
@comment MD5:5efdf2f5ede1fd0c761eba2282c0734f
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Foldable.so
@comment MD5:33f41b87603d4370a7a036a79bb4c4c9
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Foldable.ttc
@comment MD5:c002c7f4d8de6ec50dee3a21d2038a2d
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Foldable.ttm
@comment MD5:53d510aedb85bd922a040c0f3fbb068c
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Functor.so
@comment MD5:638da26edc852c4eb2e9c371d00e5929
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Functor.ttc
@comment MD5:d470c09a711d2f5ce21431c34d15ac7c
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Functor.ttm
@comment MD5:f56eb0ff128361facda412799a35ec9c
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Show.so
@comment MD5:69444a5b225e20e3122c8c9df598c5bc
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Show.ttc
@comment MD5:e95854506d09e4c34f4a408bb21d2733
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Show.ttm
@comment MD5:2423f8e3b763543024c38d779d73e9ff
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Traversable.so
@comment MD5:dffb0d1080dbc2aa76d513796cfc24ed
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Traversable.ttc
@comment MD5:0ce4af13a6cbb0655fe46bee3fefa12b
idris2-0.7.0/base-0.7.0/2023090800/Deriving/Traversable.ttm
@comment MD5:7b634cea79b954f41e032226b796880a
idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection.so
@comment MD5:5501b063af43995b9bf77ee7dedb7840
idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection.ttc
@comment MD5:18f8a327b9bf70f5e0afee7e43d1452c
idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection.ttm
@comment MD5:a63d13e8e310e7227bb148fc7bb7bd23
idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TT.so
@comment MD5:af83bc4517ab08cc42f9a497bd34e42c
idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TT.ttc
@comment MD5:7c6055fd2eacbb68839713eaabb82168
idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TT.ttm
@comment MD5:369f04e0e2ed70cb8a81f339b6e8bbb6
idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TTImp.so
@comment MD5:a1586ad66efbffcc0701dd1cfebe5b61
idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TTImp.ttc
@comment MD5:cfefdb091a2e502febc5ae14b63d08e2
idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection/TTImp.ttm
@comment MD5:5913f58854855a7fe538d806cd380f8f
idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning.so
@comment MD5:e6d1fb7c3e1034b3d9f4585fdc3d5592
idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning.ttc
@comment MD5:65cf9b015ba4ddd52f21472b23d99be1
idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning.ttm
@comment MD5:74974a783ba06327230959211260b088
idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning/Generic.so
@comment MD5:890683b87b2deab13bc40aff8daa6853
idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning/Generic.ttc
@comment MD5:db9fb6717ce0007b6a3456da13300f7a
idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning/Generic.ttm
@comment MD5:40bb950a4439a3b14501a5845dd6caef
idris2-0.7.0/base-0.7.0/2023090800/System.so
@comment MD5:528007993aa613cac93ed0f32d00fdf6
idris2-0.7.0/base-0.7.0/2023090800/System.ttc
@comment MD5:c9ede34a90b0b8fccddcf96c4201023e
idris2-0.7.0/base-0.7.0/2023090800/System.ttm
@comment MD5:a25edaf589ab8fcfe4aa7e8b22b97ca8
idris2-0.7.0/base-0.7.0/2023090800/System/Clock.so
@comment MD5:b7def7a12f3661942567208905f4bdfd
idris2-0.7.0/base-0.7.0/2023090800/System/Clock.ttc
@comment MD5:41ea6df7b89385bfeec9d46c574a23a2
idris2-0.7.0/base-0.7.0/2023090800/System/Clock.ttm
@comment MD5:0b2e7d847cfdff922f9fded64e9d0140
idris2-0.7.0/base-0.7.0/2023090800/System/Concurrency.so
@comment MD5:65b0a3593858e3809a605bcf16ab18b0
idris2-0.7.0/base-0.7.0/2023090800/System/Concurrency.ttc
@comment MD5:ed3a2e8bc6a27b8c928aaac64dd283fc
idris2-0.7.0/base-0.7.0/2023090800/System/Concurrency.ttm
@comment MD5:50375778c771f73b5b9a489a120328d9
idris2-0.7.0/base-0.7.0/2023090800/System/Directory.so
@comment MD5:f9fc1d8155d1430851d2c3b1299b7d05
idris2-0.7.0/base-0.7.0/2023090800/System/Directory.ttc
@comment MD5:d208503c1cc4e975f95dd86126e105b8
idris2-0.7.0/base-0.7.0/2023090800/System/Directory.ttm
@comment MD5:7155ad0c181e50d71af9d7a537046c55
idris2-0.7.0/base-0.7.0/2023090800/System/Errno.so
@comment MD5:9e7a63cb8e97826b09f1721ee9b9e6b3
idris2-0.7.0/base-0.7.0/2023090800/System/Errno.ttc
@comment MD5:f8eae96314094ef1a3d2fc7e8b414c7f
idris2-0.7.0/base-0.7.0/2023090800/System/Errno.ttm
@comment MD5:17504a0981e0ea01349617a8a0d96784
idris2-0.7.0/base-0.7.0/2023090800/System/Escape.so
@comment MD5:0420e4d68c8fe16aa4d16eea0af3c206
idris2-0.7.0/base-0.7.0/2023090800/System/Escape.ttc
@comment MD5:cd04087cd06f56702b9f0406cf90b62d
idris2-0.7.0/base-0.7.0/2023090800/System/Escape.ttm
@comment MD5:e019c1dab9dbb0d655b8d05c6e029c7e
idris2-0.7.0/base-0.7.0/2023090800/System/FFI.so
@comment MD5:198a87a9a3ba847ad196c2f2847bf0bd
idris2-0.7.0/base-0.7.0/2023090800/System/FFI.ttc
@comment MD5:18b1f898795d97ca97b0136d7f1876fe
idris2-0.7.0/base-0.7.0/2023090800/System/FFI.ttm
@comment MD5:6211b7cff8c8016a78dfedd05e68af6f
idris2-0.7.0/base-0.7.0/2023090800/System/File.so
@comment MD5:c420c23fb8215d97db50f67d3879f1cb
idris2-0.7.0/base-0.7.0/2023090800/System/File.ttc
@comment MD5:38618360fc285c48f39c0ee78e7330c3
idris2-0.7.0/base-0.7.0/2023090800/System/File.ttm
@comment MD5:1bd5018a30ea9143af7d430a3fbbcae4
idris2-0.7.0/base-0.7.0/2023090800/System/File/Buffer.so
@comment MD5:23a81353eaee3860a0b79235d12528df
idris2-0.7.0/base-0.7.0/2023090800/System/File/Buffer.ttc
@comment MD5:b0e173fdc339976718b996d17d607490
idris2-0.7.0/base-0.7.0/2023090800/System/File/Buffer.ttm
@comment MD5:fd244fde8f306af47a75b44c21f71cf6
idris2-0.7.0/base-0.7.0/2023090800/System/File/Error.so
@comment MD5:62ce3ec93c6650aed9ff22c32caad4ff
idris2-0.7.0/base-0.7.0/2023090800/System/File/Error.ttc
@comment MD5:1c0d2fdb5bc46f4a0031d80d1e49fb5a
idris2-0.7.0/base-0.7.0/2023090800/System/File/Error.ttm
@comment MD5:d96e0ceb281468929bfe4d7bc2f3885b
idris2-0.7.0/base-0.7.0/2023090800/System/File/Handle.so
@comment MD5:f1b93f787ce6a6ebd1632748680d7646
idris2-0.7.0/base-0.7.0/2023090800/System/File/Handle.ttc
@comment MD5:a76f32c4438bea66417baea6573223bf
idris2-0.7.0/base-0.7.0/2023090800/System/File/Handle.ttm
@comment MD5:3a85cefa2833af0a2e9621bfaea3bab7
idris2-0.7.0/base-0.7.0/2023090800/System/File/Meta.so
@comment MD5:58e03c57e011cbfdda6d7f9a7cad42e8
idris2-0.7.0/base-0.7.0/2023090800/System/File/Meta.ttc
@comment MD5:a3bca6183df84c124a6d75049be496c1
idris2-0.7.0/base-0.7.0/2023090800/System/File/Meta.ttm
@comment MD5:6ab6057353fd5cb05293927f581399e1
idris2-0.7.0/base-0.7.0/2023090800/System/File/Mode.so
@comment MD5:40912e314b8eccbf5c5e73ac946849ed
idris2-0.7.0/base-0.7.0/2023090800/System/File/Mode.ttc
@comment MD5:33fb3772ebf7f6382167ee692a926507
idris2-0.7.0/base-0.7.0/2023090800/System/File/Mode.ttm
@comment MD5:a080f0a5aaa06d820b808248c77fb0b9
idris2-0.7.0/base-0.7.0/2023090800/System/File/Permissions.so
@comment MD5:159422aae32a3502be0a049a8c0b0dda
idris2-0.7.0/base-0.7.0/2023090800/System/File/Permissions.ttc
@comment MD5:ab0abb07194f441a1b96e1ebbbb1e9da
idris2-0.7.0/base-0.7.0/2023090800/System/File/Permissions.ttm
@comment MD5:22921f1bbdf880f994f3047476f056be
idris2-0.7.0/base-0.7.0/2023090800/System/File/Process.so
@comment MD5:aec64d37b12bf8603c9c1a230a8d5739
idris2-0.7.0/base-0.7.0/2023090800/System/File/Process.ttc
@comment MD5:d35a3b1c5a4cfab4b2cd413d5527e510
idris2-0.7.0/base-0.7.0/2023090800/System/File/Process.ttm
@comment MD5:1fbcee1d6640453a92acdbf12a57b044
idris2-0.7.0/base-0.7.0/2023090800/System/File/ReadWrite.so
@comment MD5:828c5692dbd7dc079265681194b98f10
idris2-0.7.0/base-0.7.0/2023090800/System/File/ReadWrite.ttc
@comment MD5:1152f13212938cb0d6d05668ae9107ab
idris2-0.7.0/base-0.7.0/2023090800/System/File/ReadWrite.ttm
@comment MD5:07c871f2ffc2ad5aa5c102fda7810fd2
idris2-0.7.0/base-0.7.0/2023090800/System/File/Support.so
@comment MD5:58685eb28b92049d76889aa837f91c17
idris2-0.7.0/base-0.7.0/2023090800/System/File/Support.ttc
@comment MD5:747bbb270c8092f150d5af3f1eec6cdd
idris2-0.7.0/base-0.7.0/2023090800/System/File/Support.ttm
@comment MD5:adae92db520a80f3fa53dd7be4f03940
idris2-0.7.0/base-0.7.0/2023090800/System/File/Types.so
@comment MD5:676e1cdd6ec62ccb4d76da771cd82eb1
idris2-0.7.0/base-0.7.0/2023090800/System/File/Types.ttc
@comment MD5:f95b69e0a6079fae79d18de00e571e90
idris2-0.7.0/base-0.7.0/2023090800/System/File/Types.ttm
@comment MD5:9de44f640559c5c8938b393969ceef7b
idris2-0.7.0/base-0.7.0/2023090800/System/File/Virtual.so
@comment MD5:d1a900250589cf04ca805c607f83b07a
idris2-0.7.0/base-0.7.0/2023090800/System/File/Virtual.ttc
@comment MD5:8e87a5cd25b54a13f75ac31184243e62
idris2-0.7.0/base-0.7.0/2023090800/System/File/Virtual.ttm
@comment MD5:e0cbb81186777750ee55cdffa65b91f6
idris2-0.7.0/base-0.7.0/2023090800/System/Info.so
@comment MD5:7552de0d7c73335bb0b68b523a794205
idris2-0.7.0/base-0.7.0/2023090800/System/Info.ttc
@comment MD5:911adce9debb3eec39c706544b0c0d3e
idris2-0.7.0/base-0.7.0/2023090800/System/Info.ttm
@comment MD5:d7a9bffd6bea9c1c9365703882923013
idris2-0.7.0/base-0.7.0/2023090800/System/REPL.so
@comment MD5:7708e2cb15482ce8ff77eb55cdb26863
idris2-0.7.0/base-0.7.0/2023090800/System/REPL.ttc
@comment MD5:49ec57464638f05dba12b676b01295dd
idris2-0.7.0/base-0.7.0/2023090800/System/REPL.ttm
@comment MD5:1e5345732703c8212fce34121b0b6b26
idris2-0.7.0/base-0.7.0/2023090800/System/Signal.so
@comment MD5:c2ae5158d693d46c9a5b1d9ff5521360
idris2-0.7.0/base-0.7.0/2023090800/System/Signal.ttc
@comment MD5:45ee317f0030aaa6edd3b0a58b71d289
idris2-0.7.0/base-0.7.0/2023090800/System/Signal.ttm
@comment MD5:39bb0d90bf93564efa7fe8b7ad54b0c7
idris2-0.7.0/base-0.7.0/2023090800/System/Term.so
@comment MD5:46cd22980e8de27bba9b9d3086a1fd3c
idris2-0.7.0/base-0.7.0/2023090800/System/Term.ttc
@comment MD5:40771c726ce2502b45d09e9ea2f745c3
idris2-0.7.0/base-0.7.0/2023090800/System/Term.ttm
@comment MD5:ce6f0db3d3061dde2ac6f993e29e5d7f
idris2-0.7.0/base-0.7.0/base.ipkg
@comment MD5:56877b7d0aa4fd5988a948bf697ea147
idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI.so
@comment MD5:3bacb80609328bf6a2e28003bc495dab
idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI.ttc
@comment MD5:cb6682289fd61c925b7d66a1aae65f0a
idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI.ttm
@comment MD5:53c8724e12ce230f427fbb347da6b690
idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI/CSI.so
@comment MD5:08de4c55ace5616958cc2e780af18176
idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI/CSI.ttc
@comment MD5:b2c084f08cab07dcc3fda42987bf4450
idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI/CSI.ttm
@comment MD5:99f8fcf71555340d91de1b0d5bad25f9
idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI/SGR.so
@comment MD5:effdd97e789082a34245c7bba4d0c088
idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI/SGR.ttc
@comment MD5:889c0406219394b76c742487fe5ed55b
idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI/SGR.ttm
@comment MD5:6c3ceb3bd061ff43cceb235d15953de4
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra.so
@comment MD5:eed1a4bcbed65d6c6727f746753e5d13
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra.ttc
@comment MD5:2f51e39a8c246ef7b1ad8319286bd521
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra.ttm
@comment MD5:190d7ed77061d47effd5259a835e9020
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra/Implementations.so
@comment MD5:3a684597c26bd590d946db672f0227a1
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra/Implementations.ttc
@comment MD5:30b44f4cfeb4c06289ffb48c6f861754
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra/Implementations.ttm
@comment MD5:0bb03f70f66a2ba75135dfe7358e9e07
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra/Laws.so
@comment MD5:20dedb77ac8356f10a7d155e5c5b95d0
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra/Laws.ttc
@comment MD5:0572b5e8bae5081d00732ea5e870f105
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra/Laws.ttm
@comment MD5:137f8d5233b062f85b0d8ed4a96e0d36
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Arrow.so
@comment MD5:8ac6bc5591d94cbfeb6eb27c2e912f48
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Arrow.ttc
@comment MD5:c6ad78515a51a3f510d273acc9b968d2
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Arrow.ttm
@comment MD5:1e96212819db5fe837278962e7d7d6fb
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Category.so
@comment MD5:f5f219a4ca7934f9744aaa036655ecf1
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Category.ttc
@comment MD5:64e560f6ef88c7916dbd719015f2da89
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Category.ttm
@comment MD5:c3c0a3f7169c026da8349f718aa0a7e9
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Delayed.so
@comment MD5:6e87d7c3034aad86ddb852fc4b2158b0
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Delayed.ttc
@comment MD5:60d320a13b72779f6712b194cc9c6965
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Delayed.ttm
@comment MD5:987fcd32c4c9594d12547e5f3fb9730c
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Monad/Algebra.so
@comment MD5:12657363dc80be8a9d70a4234574097b
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Monad/Algebra.ttc
@comment MD5:8240ba8a5d13a72813f2d7874b06448b
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Monad/Algebra.ttm
@comment MD5:c754147ee3d6bab38cf6d4f55ddde2ef
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Validation.so
@comment MD5:442babfb37c2f14a1dc430ffc41d0547
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Validation.ttc
@comment MD5:ad1597ae23069961b6668d704bcb3f23
idris2-0.7.0/contrib-0.7.0/2023090800/Control/Validation.ttm
@comment MD5:7637f17f02ab16c72d04580b94c43282
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Binary.so
@comment MD5:54af382a888450f5bfb312e7146fcfc4
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Binary.ttc
@comment MD5:2f992d567131fd070cdd252f02159ba5
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Binary.ttm
@comment MD5:4c62d4ea00e01ae044b20db8f4abf99b
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Binary/Digit.so
@comment MD5:124ad5fd7315572ab235367c8599b6fb
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Binary/Digit.ttc
@comment MD5:a12bbdc7123f08a09662a8cfe78153b2
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Binary/Digit.ttm
@comment MD5:fe0f6008f93a6d7ff7e8fd728647dd69
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool/Algebra.so
@comment MD5:0812c753cf051289c859ff5321956739
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool/Algebra.ttc
@comment MD5:dfe0b188ec6ac6479421d199cdcab9d4
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool/Algebra.ttm
@comment MD5:08719fdcb4a83238803946592487ef2b
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool/Decidable.so
@comment MD5:6e805cdc7a7457014ca80a879fab8816
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool/Decidable.ttc
@comment MD5:e20053d9359156a7778e6b131b7f984e
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool/Decidable.ttm
@comment MD5:05fa586a46dfc04cab1bf8f8fdf97a97
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fin/Extra.so
@comment MD5:056f05d039ad6b0d5451abf5abc746ec
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fin/Extra.ttc
@comment MD5:1f5444d5190f6da1d203c83230063418
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fin/Extra.ttm
@comment MD5:25821cc37cfc13d1bed4a63c2ede7c0f
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun/Extra.so
@comment MD5:264076321273929a1796ab1640824f72
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun/Extra.ttc
@comment MD5:c4422e22eee093cb37ac4b6595f28705
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun/Extra.ttm
@comment MD5:6f11e69066657c863ed40e87da7fb0ae
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun/Graph.so
@comment MD5:e64edb5be79f56bde860cbced975b048
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun/Graph.ttc
@comment MD5:dc8374438fa9dc3fb54ad34e45477fe1
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun/Graph.ttm
@comment MD5:69d8355f195222ab84e3f37101e6bbd1
idris2-0.7.0/contrib-0.7.0/2023090800/Data/HVect.so
@comment MD5:47cfb6239b8d68a19e77744e80eafb29
idris2-0.7.0/contrib-0.7.0/2023090800/Data/HVect.ttc
@comment MD5:e8a060310ab6123ce01776647847486d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/HVect.ttm
@comment MD5:99d86ecebb7006958d6b2bd8707bdfd6
idris2-0.7.0/contrib-0.7.0/2023090800/Data/IMaybe.so
@comment MD5:3685a90fc3c2914c7355587cf8ea8ede
idris2-0.7.0/contrib-0.7.0/2023090800/Data/IMaybe.ttc
@comment MD5:07075923b77c87d9dc00f4bc7d83e735
idris2-0.7.0/contrib-0.7.0/2023090800/Data/IMaybe.ttm
@comment MD5:5c041c22de52299d507279fcdec1ef3d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/IOMatrix.so
@comment MD5:4b08767f76a68269d386c602a4935854
idris2-0.7.0/contrib-0.7.0/2023090800/Data/IOMatrix.ttc
@comment MD5:0ca9d546ae2dd27a7cb6f4ca94a6fae1
idris2-0.7.0/contrib-0.7.0/2023090800/Data/IOMatrix.ttm
@comment MD5:d307a71ef64efcd4e4626158ee2797bc
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Int/Order.so
@comment MD5:b13959c9a91f2aadc7ea26fbdaa2a41e
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Int/Order.ttc
@comment MD5:c19ea4738baf3c2ffd8a1fb38b306db5
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Int/Order.ttm
@comment MD5:f28d3c278c01aec5c0479e117246384c
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Late.so
@comment MD5:5d31d5b9fa43b76e3c11efc030480979
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Late.ttc
@comment MD5:d2ac687f4f2d25cf0bc652799ee732d5
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Late.ttm
@comment MD5:e7ee9dea1302ac9a61b9c683c8a8e11e
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Linear/Array.so
@comment MD5:a91bfeae9eac83ea30f37ff19929e497
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Linear/Array.ttc
@comment MD5:2f9ad38a7c1f09d0fd76d429401bee08
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Linear/Array.ttm
@comment MD5:7884604d78f65d3a51b927ceb2da5da8
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Algebra.so
@comment MD5:419952ce5e53d916e88f31c7db34e458
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Algebra.ttc
@comment MD5:1b773fa8cfa650fd1969e803862a725d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Algebra.ttm
@comment MD5:9bd4e9b123b25ce52a5926e2e02aa1e8
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Alternating.so
@comment MD5:036568e272a154a8af197072f35fa3fa
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Alternating.ttc
@comment MD5:144dbbe157b3bfb71dfc71ed2a119c51
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Alternating.ttm
@comment MD5:e7cdaa1a7ea49795629ef7de37345623
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/AtIndex.so
@comment MD5:9f47a5bea88f65302182f44cdda0b8ff
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/AtIndex.ttc
@comment MD5:bf82fdc1fcfe2f0753800487018c01aa
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/AtIndex.ttm
@comment MD5:27f75c6ac7726c2d73fe478706e38aaf
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Elem/Extra.so
@comment MD5:ebb4e5267a9c920442ee8fcb49156a1a
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Elem/Extra.ttc
@comment MD5:d41aca8d796696667b19059750cdf52a
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Elem/Extra.ttm
@comment MD5:7b713b3ff239bf99ad83df516dadbbeb
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Equalities.so
@comment MD5:150a0f739cafebc9db7dcb54a3fa5304
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Equalities.ttc
@comment MD5:133b92d90e4068f730b619b1d5b2e9b3
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Equalities.ttm
@comment MD5:c6745b82f6d400213c2390772e9a9ca9
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Extra.so
@comment MD5:7915b81b09ef6b6ba1ffd4a0d964eac4
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Extra.ttc
@comment MD5:5e98a4117c3e77406a59db02e1dd77e5
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Extra.ttm
@comment MD5:4c84b1c91278dadd1736aee7ee19da15
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Lazy.so
@comment MD5:a0c825caed2ad9d4e94b8f6ac0eb1679
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Lazy.ttc
@comment MD5:f6f5f0d7b82fbf553ce594ea5e68544e
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Lazy.ttm
@comment MD5:5fc40a5bd7bb2ebec2b3eabcd3d61faa
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Lazy/Quantifiers.so
@comment MD5:57c27863bf984ef004a11e4f3ad8c15f
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Lazy/Quantifiers.ttc
@comment MD5:98a942da22f2c64568e3b39c26175468
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Lazy/Quantifiers.ttm
@comment MD5:844a2c158211fd30c706e63ab1989e39
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Palindrome.so
@comment MD5:f1f6c466d8452746cf26b526a3a6c3bd
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Palindrome.ttc
@comment MD5:71cd309b684f53915430026f7b3e0ca1
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Palindrome.ttm
@comment MD5:5792b4c97ca36e7fac4cfd310e14aca6
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Reverse.so
@comment MD5:f87fd6ef80ea248cd196deaeb51ccd5d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Reverse.ttc
@comment MD5:27053e444fd7dcdb34b29c2b96a1f9c3
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Reverse.ttm
@comment MD5:20361528c6c8d440f2e9d0614da7eab8
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Sufficient.so
@comment MD5:46ed01915624cef0c1105a01dfd48863
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Sufficient.ttc
@comment MD5:473c3498f1a0fe69a6815c9b4dfed7b0
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Sufficient.ttm
@comment MD5:d1818434e81da55163469ef10add5bb9
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/TailRec.so
@comment MD5:3431067c0b89d6f6a807f59126daa726
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/TailRec.ttc
@comment MD5:e9f76c28e00d5b721b5e09eed61d26ff
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/TailRec.ttm
@comment MD5:4367a2d017b8b5b3b079a3eccb67eca2
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Views/Extra.so
@comment MD5:ffcbd6855c80392c8daa6e6cf7233a8e
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Views/Extra.ttc
@comment MD5:1d5f7db90e6dedc6960703f1c18db0ee
idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Views/Extra.ttm
@comment MD5:6250199e13709b14c2b20de2ba5e6db5
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Logic/Propositional.so
@comment MD5:9b4974a3eb45a8a2af80817de62d7ff5
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Logic/Propositional.ttc
@comment MD5:b21d9c24720aa7283f556c7aa9c45a92
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Logic/Propositional.ttm
@comment MD5:201e71f4607ecafe0527e7af2a03e3d9
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Monoid/Exponentiation.so
@comment MD5:5dce4bcc6845997075e8a6042d300a2f
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Monoid/Exponentiation.ttc
@comment MD5:10eebb9e9aede7682e7ac48963c7d0fc
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Monoid/Exponentiation.ttm
@comment MD5:61fa53530df69e9b2b58eacc0b6a1aad
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Morphisms/Algebra.so
@comment MD5:90c953eb475725a95eef48ce4c35b2f5
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Morphisms/Algebra.ttc
@comment MD5:36c0daad319d8489dfebe70b8b4844eb
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Morphisms/Algebra.ttm
@comment MD5:41cd2a3ddeca4bf3758b3dba6543c1bd
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Ack.so
@comment MD5:07da24f3cd48cf6b163c3e1c3d80d10f
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Ack.ttc
@comment MD5:50f85365a971a58dcc39b96d1687d8d9
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Ack.ttm
@comment MD5:d36fa85910e1680054d54f9374cb855d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Algebra.so
@comment MD5:25eb2051e162776991eeee09168a4c88
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Algebra.ttc
@comment MD5:d79644438534a87a4f50ea8ab28f1f28
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Algebra.ttm
@comment MD5:4481f9f213eee25b480582117df77b4d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Division.so
@comment MD5:b9f920871b56335d9fbb45665cbea607
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Division.ttc
@comment MD5:afc71395a1c1f7ca3088970130554cad
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Division.ttm
@comment MD5:c042c21a74bcea0946feaea7849821e1
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Equational.so
@comment MD5:91bfb9dd3fce0fec969a0063d7f9e8f6
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Equational.ttc
@comment MD5:4f1f1aa6ac7ff2629bc58a87e7a3a1ad
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Equational.ttm
@comment MD5:fb85f0f703a6e0b54fdf284d045f1b3e
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Exponentiation.so
@comment MD5:8ac857c9f1093fdb34e82b1ea3c02fa8
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Exponentiation.ttc
@comment MD5:8f655a9762896ba60d402500dafab38d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Exponentiation.ttm
@comment MD5:e117764d975b56b7b3710b1eb3cb0664
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Fact.so
@comment MD5:101fbe64bd3beff2118eb6c68dba713c
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Fact.ttc
@comment MD5:d83f056044552c5a35742fda4353b791
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Fact.ttm
@comment MD5:edf2e7448e9bab316cae6049b13b9b29
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Factor.so
@comment MD5:cb9b44c7485627d45ff25ac512f5a5c9
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Factor.ttc
@comment MD5:60cc2f47acfe1f876f55171ae2773e2f
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Factor.ttm
@comment MD5:b92f53de778f1d563e5454248ba80e6f
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Fib.so
@comment MD5:0264523a4031b7594e1bd83658ac2e05
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Fib.ttc
@comment MD5:3104ad9b92a30adf1a1a55745ef5f73a
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Fib.ttm
@comment MD5:57ba69a9685a15932cf438b5eb4ebf90
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order/Properties.so
@comment MD5:67eb259c8d5596b68fd3b24125a9f3b2
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order/Properties.ttc
@comment MD5:6ff155c7e922fbffb15fda364bd5013e
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order/Properties.ttm
@comment MD5:1e5888b15c53d8bfce08d911578794be
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order/Relation.so
@comment MD5:f5a90c7a9b31c17eb2a2d95f008df343
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order/Relation.ttc
@comment MD5:b968fb9f667975216260727e596f1c35
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order/Relation.ttm
@comment MD5:a5deb9d1bc225258a2f4d2b244f7fac3
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order/Strict.so
@comment MD5:8a490757d92c953cc5add2e6f91b4134
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order/Strict.ttc
@comment MD5:001c29f77deadf698b85d20d061beb07
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order/Strict.ttm
@comment MD5:14f37deb4f1713c4686cb0826defd278
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Properties.so
@comment MD5:db372eed94c2d0bca07832760fe4e64f
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Properties.ttc
@comment MD5:83434e7068c5684ff7fffa389c837a21
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Properties.ttm
@comment MD5:b9d60ebaebe70af557a3ed570f532892
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Order.so
@comment MD5:39dd8575dd9f8c881a8d7626e7c269c3
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Order.ttc
@comment MD5:cdf4ad1bcaaae86782cc4690f845244d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Order.ttm
@comment MD5:83bea939b7866630a59ad73f4129ba7a
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Path.so
@comment MD5:adaea9e9fef253ad0c237263a94be327
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Path.ttc
@comment MD5:d2aef2e13c5b2b58c9ef99788e90b41a
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Path.ttm
@comment MD5:c5180400339bbba9384dbf3bd5763b54
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Rel/Complement.so
@comment MD5:c52dd1aa92dfd0f5c9cad6f34b426805
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Rel/Complement.ttc
@comment MD5:db541d5ecfeda4049a2e30bfd20532cd
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Rel/Complement.ttm
@comment MD5:07729ca08c2c1b8d91fa6adce6c8bdf7
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq/Internal.so
@comment MD5:6ad29a6b02c10e766aca071548d99d4e
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq/Internal.ttc
@comment MD5:bd60b4ef73774389ee29edc280b264de
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq/Internal.ttm
@comment MD5:596b1814949994c40f8180671d2fe099
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq/Sized.so
@comment MD5:ea8ff0af1043e6f265830f833ee2414e
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq/Sized.ttc
@comment MD5:e1c0a75d2844aebbb2d7be5a2c50ce91
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq/Sized.ttm
@comment MD5:b865768717f50ee9422279914d956a15
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq/Unsized.so
@comment MD5:559982a973175a1bb39c5d2c1c35da86
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq/Unsized.ttc
@comment MD5:452e7105a1864d1d7fa2e1f36e100da2
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq/Unsized.ttm
@comment MD5:776b468027b5d5cb15206e96c4dc7aeb
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Stream/Extra.so
@comment MD5:b30e2b15e9916ecc37bb1e5afd26945b
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Stream/Extra.ttc
@comment MD5:a1e657b9aea8acbb32785b1254a8d5b9
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Stream/Extra.ttm
@comment MD5:d2cf5d9c0b243b0807d2e6c6f7a3f660
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Extra.so
@comment MD5:77ed363b75e27838fe4203df3e8171ac
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Extra.ttc
@comment MD5:623098b9fae697ecfc55fb0a54e2218d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Extra.ttm
@comment MD5:4427c12b62ebcce0a7aea706d7eac190
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Interpolation.so
@comment MD5:d322dd89a7298323f6bde43513978fc6
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Interpolation.ttc
@comment MD5:5620446ba49074985142f199cb8244ee
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Interpolation.ttm
@comment MD5:bd689b65b3e5ad638532af84af0d2801
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Iterator.so
@comment MD5:1a195119736397b243e7bfd97e9e2ddb
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Iterator.ttc
@comment MD5:6f4ad79f4285461cda485f4e35e846f2
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Iterator.ttm
@comment MD5:6fea4227fd62995d31498dc37b50f1c8
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Parser.so
@comment MD5:dd34576842858310a78c6810288d5bdc
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Parser.ttc
@comment MD5:0ad105714254ed3be61de2d584eb8075
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Parser.ttm
@comment MD5:4a82b73c1d03fbe7f0d32dc9f2d43ddb
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Parser/Expression.so
@comment MD5:4d2267c3a6d2a10f59f885e743d78f4c
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Parser/Expression.ttc
@comment MD5:a76fb54b4acc8421f070850642651466
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Parser/Expression.ttm
@comment MD5:abd85ad55edc6c102b0e39e24be6e35c
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Position.so
@comment MD5:e374ef80fcc84b01d284bb2e54009a95
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Position.ttc
@comment MD5:0eb3cf947bc02c866ab408185500ff02
idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Position.ttm
@comment MD5:13d1198f5dcdbbaabdfad3c8d5acdda1
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope.ttc
@comment MD5:25b852a0c2995df70f6bfe43b6fe5e20
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope.ttm
@comment MD5:ab1c4f922d2440be0c8397b15380ab85
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Congruence.so
@comment MD5:4b6524dbc61b0553c6082e63e01e58f8
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Congruence.ttc
@comment MD5:99e2154266ff9257ea9f57758dedd408
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Congruence.ttm
@comment MD5:2986480b7b95ecff3fca7c47a6d0e07d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Fun.so
@comment MD5:e26fcf534a075d6c7570f078a0a59ea4
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Fun.ttc
@comment MD5:2905a27bba9b032995ef66aea7eafd51
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Fun.ttm
@comment MD5:db9350e7ee1991c5410ef40cbfa67db4
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Segment.so
@comment MD5:c0aaa4c5812bb4e9ba951af44844dc5f
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Segment.ttc
@comment MD5:1903e192b3471d543fd68714f58549f4
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Segment.ttm
@comment MD5:0a350a2ec3c9fd927440d2542b43989b
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/SimpleFun.so
@comment MD5:b2abf0e7f5ce2e9ae6e098dfe5f5ff97
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/SimpleFun.ttc
@comment MD5:0bcdcd0bc05124846617d0d18eb67120
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/SimpleFun.ttm
@comment MD5:469851b7f403ed32f30044f2b4cfb79c
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Telescope.so
@comment MD5:c86aad10bb99a17865a1d05b1b30c028
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Telescope.ttc
@comment MD5:efbdee0ea5d6893ff9d68af05470f168
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope/Telescope.ttm
@comment MD5:308a2f5872616870060e2f9e388a27f9
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Validated.so
@comment MD5:5367c8d69a236d7916a51729a220258d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Validated.ttc
@comment MD5:dff67add7b04be87347a8e86bb375463
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Validated.ttm
@comment MD5:80359de081d27a826501891a56fad0a3
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Extra.so
@comment MD5:f5d2ace535b9d3fa8de2a9e96e5a61b8
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Extra.ttc
@comment MD5:ffe8119448f705e27eab73d4f78f628a
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Extra.ttm
@comment MD5:ea1011dbc8b783155a2ace7aa99a482f
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties.ttc
@comment MD5:b6951a47614675b6c2331c77efbb5a7d
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties.ttm
@comment MD5:35bacef873d52fd7358b7140b9821e60
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Fin.so
@comment MD5:61013096cd72eb71c47b55126b6bfda1
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Fin.ttc
@comment MD5:86d69271c21a0c03d91e0674a11367ce
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Fin.ttm
@comment MD5:74f69564d7a422ee3138da8a7d23fb84
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Foldr.so
@comment MD5:92114e1da5c47b11fe2ec6bb0b5b236f
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Foldr.ttc
@comment MD5:dec5a31279b028cc8bc011e86b36515c
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Foldr.ttm
@comment MD5:8f1571909e7963a7d245a5f5b5ea6a30
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Index.so
@comment MD5:e45a5bc619ea2a34326b474553c3fe12
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Index.ttc
@comment MD5:d3705d067df7be02bb721ed260a2d130
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Index.ttm
@comment MD5:0332c133e2b5817f388ebfdb0d9e2bec
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Map.so
@comment MD5:9fac69ed3363df2b3243b55456b1e913
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Map.ttc
@comment MD5:9903ea55317fb08a565c2c48cda8ef54
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Map.ttm
@comment MD5:2da3d161dadf40d53cc2b330f59a9b78
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Tabulate.so
@comment MD5:8c8464524309a4089eeeb04ce4d0f43a
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Tabulate.ttc
@comment MD5:2dac383ab9be208074e3bee068e39eac
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties/Tabulate.ttm
@comment MD5:61c2478b6ab1ff441b6fad0c85a6330a
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Sort.so
@comment MD5:10dec4798742736ba0d8f959728d5461
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Sort.ttc
@comment MD5:87ead7e634a4b876bd77ad7a27d4a920
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Sort.ttm
@comment MD5:0a669b9c88d3d0633d5c12f4cf4df484
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Views/Extra.so
@comment MD5:f4ef4ff35f6214cd2f5bf37f91b30b1a
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Views/Extra.ttc
@comment MD5:24c47ef080cf0d5a5f47433b42f4bf53
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Views/Extra.ttm
@comment MD5:6764876634f740aa7426ba851d252eaf
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Void.so
@comment MD5:89c8d67e70c5d75051febb57c4cabfda
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Void.ttc
@comment MD5:9007232d985af1dc42ea72cc7f6d8b32
idris2-0.7.0/contrib-0.7.0/2023090800/Data/Void.ttm
@comment MD5:675f0ebefaa49474c3e5f33ede593c8d
idris2-0.7.0/contrib-0.7.0/2023090800/Debug/Buffer.so
@comment MD5:be09d31e1fcc07704d5f981aeebb4fbe
idris2-0.7.0/contrib-0.7.0/2023090800/Debug/Buffer.ttc
@comment MD5:5dd7bc6566addde9a10802c87b44ae83
idris2-0.7.0/contrib-0.7.0/2023090800/Debug/Buffer.ttm
@comment MD5:0407f38916b28c92974a8e2229521cb3
idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Decidable/Extra.so
@comment MD5:7af83945ddd30299ed8b4342851f9220
idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Decidable/Extra.ttc
@comment MD5:2404a148801704f0a2ea95374b7452b3
idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Decidable/Extra.ttm
@comment MD5:0f99a29df412e90bbed79105e4df6e97
idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Finite/Fin.so
@comment MD5:309ed5d5612b285df4b2651bda1c34d1
idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Finite/Fin.ttc
@comment MD5:0e557a0eeb7331c103cc43d7dde1c5ab
idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Finite/Fin.ttm
@comment MD5:9c1f935f5bbde0e7592757ea2ab7be50
idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Order/Strict.so
@comment MD5:e8361f35d414b79c0230f10ceeaa50e9
idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Order/Strict.ttc
@comment MD5:f2cddd1954c7f4ce71b7062d2f1fdd8f
idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Order/Strict.ttm
@comment MD5:da0eb3e03c080a2b15596d4bdf982d4c
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON.so
@comment MD5:d7f0f21ff5007a57adec72317ef3978e
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON.ttc
@comment MD5:01409359cebc41d333d748e161ba9b50
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON.ttm
@comment MD5:8f7cff0cfb6c67bdf34c401f5714b7ce
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Data.so
@comment MD5:b6ba909faf7e69ac6ca346af06ef83f1
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Data.ttc
@comment MD5:cc5c0074ce9727905ce7f89e6e2efcf4
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Data.ttm
@comment MD5:311f427f49d5cab7ee2b87b7c9ec32db
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Lexer.so
@comment MD5:9eda2955af56a75197031f456824e24b
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Lexer.ttc
@comment MD5:b469abadce31faeaf6183cf9bbd7ce09
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Lexer.ttm
@comment MD5:ecde542f32dee5a63deaa59836943a2e
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Parser.so
@comment MD5:7f7b46af3f5d4cbd8a66a15ea00c4ca7
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Parser.ttc
@comment MD5:fadb4dbde306fe2a0025290eadd862a4
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Parser.ttm
@comment MD5:55428f1d56173467ec5657495e3682c4
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String.so
@comment MD5:c2ca2ab199e03baf2538a8a9d468e838
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String.ttc
@comment MD5:24bdb887de1a5634360883a49ab9e0b0
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String.ttm
@comment MD5:ea5667eb3604efe5734bb879cc07ba84
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String/Lexer.so
@comment MD5:2790f656bc31934b665f690649f11938
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String/Lexer.ttc
@comment MD5:05842f922f5fcecb6f473ee4aaed24e4
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String/Lexer.ttm
@comment MD5:7dde85068ed5127bad12a5dbf899dd28
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String/Parser.so
@comment MD5:d0928884097a4861bb04ed979968e441
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String/Parser.ttc
@comment MD5:7936e251057c7b274092f952a213316a
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String/Parser.ttm
@comment MD5:828d1bae3078f432570a8ca333906fa4
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String/Tokens.so
@comment MD5:d830d302d677b9368dd29804c7e6d0bf
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String/Tokens.ttc
@comment MD5:e7a0da6a7ea280bc9460a118c7e23960
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String/Tokens.ttm
@comment MD5:4cbd47b23e1ecbe7ea632f4ab5a2dbfd
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Tokens.so
@comment MD5:14754fc76a72205f944a9d4a60e06a29
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Tokens.ttc
@comment MD5:45f8f155721da660c40d4343155081dd
idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/Tokens.ttm
@comment MD5:e9adf1c0222d2b2604e5f183dd75a5c6
idris2-0.7.0/contrib-0.7.0/2023090800/Syntax/WithProof.so
@comment MD5:7740502a16548af584515e526dd11660
idris2-0.7.0/contrib-0.7.0/2023090800/Syntax/WithProof.ttc
@comment MD5:42339dcf5b073c170923722caa31dcdd
idris2-0.7.0/contrib-0.7.0/2023090800/Syntax/WithProof.ttm
@comment MD5:4757939278a6dd1096146394b60a2852
idris2-0.7.0/contrib-0.7.0/2023090800/System/Console/GetOpt.so
@comment MD5:a7d26cbe8c1cc86219721b014ddbbb2f
idris2-0.7.0/contrib-0.7.0/2023090800/System/Console/GetOpt.ttc
@comment MD5:06ca8f8175c65d55459bb26045b05c64
idris2-0.7.0/contrib-0.7.0/2023090800/System/Console/GetOpt.ttm
@comment MD5:b14b650486c52077ac3a1c5aba149bf6
idris2-0.7.0/contrib-0.7.0/2023090800/System/Directory/Tree.so
@comment MD5:1dd4f0d668d5a653905e500637fd1cc5
idris2-0.7.0/contrib-0.7.0/2023090800/System/Directory/Tree.ttc
@comment MD5:98113d83ee246065f7a0925dcce28499
idris2-0.7.0/contrib-0.7.0/2023090800/System/Directory/Tree.ttm
@comment MD5:332356671223cac7559e506bcb0cbf39
idris2-0.7.0/contrib-0.7.0/2023090800/System/Future.so
@comment MD5:964c3e2967bf55cb18e09db0a88a17ff
idris2-0.7.0/contrib-0.7.0/2023090800/System/Future.ttc
@comment MD5:9358e4af241c15af06d27f19d3db3526
idris2-0.7.0/contrib-0.7.0/2023090800/System/Future.ttm
@comment MD5:d11a522feb99dfde85d07116b8a1c58c
idris2-0.7.0/contrib-0.7.0/2023090800/System/Path.so
@comment MD5:4d95900c196cef14921bb07e23893507
idris2-0.7.0/contrib-0.7.0/2023090800/System/Path.ttc
@comment MD5:a2ca481d189738c8e55bd096e65e439c
idris2-0.7.0/contrib-0.7.0/2023090800/System/Path.ttm
@comment MD5:871fedd59eaf11e42d24a97ffe02742f
idris2-0.7.0/contrib-0.7.0/2023090800/System/Random.so
@comment MD5:9ef60e6cd619d9c143d8e97579f7741a
idris2-0.7.0/contrib-0.7.0/2023090800/System/Random.ttc
@comment MD5:0690d6cccbdc5d87a876fb4a27d1cce5
idris2-0.7.0/contrib-0.7.0/2023090800/System/Random.ttm
@comment MD5:bcd0ea80197d74d49fea43a8a22dc6d0
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Bounded.so
@comment MD5:d43df0d087337af716bd1a0dfa0b4833
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Bounded.ttc
@comment MD5:353e7ae905256e3afef91f33c652821b
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Bounded.ttm
@comment MD5:d28e75eabf612ab5e28ac65711a28751
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Distance/Levenshtein.so
@comment MD5:892c263bac0d773a982d22afa65c7632
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Distance/Levenshtein.ttc
@comment MD5:bf69bc5a47a6af0ffe49de5590941e11
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Distance/Levenshtein.ttm
@comment MD5:5b97303d7b181bc546d21eeb95ecd92c
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer.so
@comment MD5:553058b764c0c3c753de1e88fdfa4381
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer.ttc
@comment MD5:7d9674a89adfd35a2fb747f8e99606b8
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer.ttm
@comment MD5:dcce7a79361796193fed86073cbdaa6f
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer/Core.so
@comment MD5:0a920ba2965032c557e1a517000f9120
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer/Core.ttc
@comment MD5:48da98e057d36cebf3c64d33eccc0495
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer/Core.ttm
@comment MD5:f5a96b753ef44e1dc9e088f11f330e9e
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer/Tokenizer.so
@comment MD5:d0e2e172dd38332edc746c3c4057b2e3
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer/Tokenizer.ttc
@comment MD5:7bab76c5b64e9134117886da97fb7cb0
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer/Tokenizer.ttm
@comment MD5:57a78165c1388de3646effa092293cb2
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Literate.so
@comment MD5:b50bd0d77f8a1046bc528d8750e30b5e
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Literate.ttc
@comment MD5:f6ab4b315dfd60b31e1d3f5314507511
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Literate.ttm
@comment MD5:547c767d1eb67cad0fc7c63dd6dfb9e9
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser.so
@comment MD5:559431a1594408718c04ad9d87d5482b
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser.ttc
@comment MD5:5bcd819cf4112b78a00bd0959c3b5737
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser.ttm
@comment MD5:a410a9886c0508e60dd629938a8f09d2
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser/Core.so
@comment MD5:e4810702c66662c2af4c9029d5f9e949
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser/Core.ttc
@comment MD5:0b5d6a095753c05d8403c1645688ba84
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser/Core.ttm
@comment MD5:562c1b67098269b16e8a8c08179e149b
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser/Expression.so
@comment MD5:87d48df9dbf45b31d9bdb9020f2a8f20
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser/Expression.ttc
@comment MD5:97282951fc050c026d876e7c9c4c5c5a
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser/Expression.ttm
@comment MD5:9384cd35f2f9e64e8d53bab98549b63a
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter.ttc
@comment MD5:305d3102a07294afcafd3042d7878b55
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter.ttm
@comment MD5:f91b8d360c285fbcfcf8dc26b201070f
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Doc.so
@comment MD5:07861b28e6ce6806521dd830aea0e0d6
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Doc.ttc
@comment MD5:bdf297ec1a7f20e6f500b78e6d7a5678
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Doc.ttm
@comment MD5:48b5b2f8b48155782c0ce8422f3ffa1c
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render/HTML.so
@comment MD5:e0602ad70d5555ccf806cc35704017e2
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc
@comment MD5:18749b0b76c89c7accc5c03b4512021a
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render/HTML.ttm
@comment MD5:2d14302be195995530798d259a511e8b
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render/String.so
@comment MD5:3ab1b650ec8394504d3213f8315d3acb
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render/String.ttc
@comment MD5:42a906500b24a471a4320b419b6bb6ad
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render/String.ttm
@comment MD5:1315b25c5a9ca501d794da1c24bbc1e8
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render/Terminal.so
@comment MD5:4d42d2108e55a3994f908268cbe0df49
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc
@comment MD5:8d1727649469214d37d1f8d961efefa1
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttm
@comment MD5:0a00878333fbaef7b5f7bf5aca09d24b
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/SimpleDocTree.so
@comment MD5:5c85af13c755e91176a24513f3551213
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc
@comment MD5:e015973b952117b87894fc85596368a9
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttm
@comment MD5:ce28a634f140948fd80ba78fd1baaeb3
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Symbols.so
@comment MD5:ab1e369a398339a78ae20441ead40773
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Symbols.ttc
@comment MD5:d5e51c640a56da842401ee871122e0a7
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Symbols.ttm
@comment MD5:03064b7e869de36f7e830cbba8e88a38
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Util.so
@comment MD5:882659082d13c8783f2605fb4bbb083a
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Util.ttc
@comment MD5:b4dc3afa95ee97ffba11ac9e0747977c
idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Util.ttm
@comment MD5:8d6e5646f82818b8a8b1f9883d866c8b
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Quantity.so
@comment MD5:b30d6110aa086c29587da25824367816
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Quantity.ttc
@comment MD5:c4f2ecd1ce6ac27233cf0e4f5a875bf0
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Quantity.ttm
@comment MD5:8a77082bd5d90fa58c26fe3fd3354e04
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Token.so
@comment MD5:002734419abb6c95f0f82d9c6bade30c
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Token.ttc
@comment MD5:3924a3b888183df5efa60540f929f38a
idris2-0.7.0/contrib-0.7.0/2023090800/Text/Token.ttm
@comment MD5:ced4325b29379424da4815bf32b90a3d
idris2-0.7.0/contrib-0.7.0/contrib.ipkg
@comment MD5:827b53756866a67774571189d89f2c0d
idris2-0.7.0/lib/libidris2_support.a
@comment MD5:0b792deea233e09bddacda00398f9b51
idris2-0.7.0/lib/libidris2_support.so
@comment MD5:58ef2c46c509e8302b4eaf276e3a040c
idris2-0.7.0/linear-0.7.0/2023090800/Control/Linear/LIO.so
@comment MD5:83e0092c5514a4cf170a62829843185c
idris2-0.7.0/linear-0.7.0/2023090800/Control/Linear/LIO.ttc
@comment MD5:eaf137e80d280520502a127734648a27
idris2-0.7.0/linear-0.7.0/2023090800/Control/Linear/LIO.ttm
@comment MD5:59859bebab667bedc346527a6731cb8b
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear.ttc
@comment MD5:069d3d8d8c9cc642fe68ce0feede874b
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear.ttm
@comment MD5:763dd42638cddf50d6ab112026fde326
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Bifunctor.so
@comment MD5:84b15f16cf47c62f0f141e462194b266
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Bifunctor.ttc
@comment MD5:88bbbff3602249aa01960743734e8dd4
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Bifunctor.ttm
@comment MD5:0439d0e38f9bc7b9de09df5219a17f9c
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Copies.so
@comment MD5:a700631455ad3befc09fefee7b89aa32
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Copies.ttc
@comment MD5:e88f2dabaf0579a8b8ac318a8842d980
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Copies.ttm
@comment MD5:e2d3818eaa56a49864e34359b60eb19e
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Interface.so
@comment MD5:89d3e9e2b0c8257de598681443dec37e
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Interface.ttc
@comment MD5:db6634506c32f9baaf62b358d2c50ecf
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Interface.ttm
@comment MD5:b832b6ea36b621eb42fca493fe7e1cc4
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LEither.so
@comment MD5:0862ef6cfbf7a5d74509332e557c8945
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LEither.ttc
@comment MD5:f13c379e94363d4ee4c2a5d3a0663972
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LEither.ttm
@comment MD5:72d2729799e1f174d7c90fa0fc740183
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LList.so
@comment MD5:572f04ac4f1fa7c67bf17f00abda8feb
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LList.ttc
@comment MD5:7912ec649ad18aba909a7abcb6ea163a
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LList.ttm
@comment MD5:41db54b8999fdaec4c4381eeb100d0d1
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LMaybe.so
@comment MD5:cfa216b0b082fcb7e06f22fc53a951b1
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LMaybe.ttc
@comment MD5:341b2c12334845b317a871d4afe72a04
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LMaybe.ttm
@comment MD5:1cf136c3182fb31a3295609ab446a48f
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LNat.so
@comment MD5:be7a65b402bac91c06d60b2f6c37938e
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LNat.ttc
@comment MD5:862508420ea688e0ad9df60d74c835d7
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LNat.ttm
@comment MD5:4dcef6c4c3169502dfb46acbcdddd46d
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LVect.so
@comment MD5:1816cffe43d0673c3506c427d1aaef27
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LVect.ttc
@comment MD5:43ff838cd213d7225a673ad68b0d0f2c
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/LVect.ttm
@comment MD5:b89328c6579895ea7e839a1673f12925
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/List/LQuantifiers.so
@comment MD5:39dd8575dd9f8c881a8d7626e7c269c3
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/List/LQuantifiers.ttc
@comment MD5:485a0f87b3e7a04f7c961a2ea4a48eb9
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/List/LQuantifiers.ttm
@comment MD5:7f0cfef4c0bd5acd711da1746422b77d
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Notation.so
@comment MD5:8bf869955beb52a3f57ba919486672ff
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Notation.ttc
@comment MD5:2e5418119cf65834482ab0d8a33170d5
idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/Notation.ttm
@comment MD5:c737d309afd35e4fb195b520821b1967
idris2-0.7.0/linear-0.7.0/linear.ipkg
@comment MD5:c5a58b60ecd4534f5b51cf0bf260cfce
idris2-0.7.0/network-0.7.0/2023090800/Control/Linear/Network.so
@comment MD5:61cbc1d507ba2147759fce3b8c198e30
idris2-0.7.0/network-0.7.0/2023090800/Control/Linear/Network.ttc
@comment MD5:09b5d3977c5d296d2c63ce33ca8fd6bf
idris2-0.7.0/network-0.7.0/2023090800/Control/Linear/Network.ttm
@comment MD5:e3d94cf3da78e194a5b0e0c0f8ad52d5
idris2-0.7.0/network-0.7.0/2023090800/Network/FFI.so
@comment MD5:ed4967a3d7ad91f7bb6bf5656c1bf1cc
idris2-0.7.0/network-0.7.0/2023090800/Network/FFI.ttc
@comment MD5:bc525ad7bf49088311025d7274ef3985
idris2-0.7.0/network-0.7.0/2023090800/Network/FFI.ttm
@comment MD5:60acd2d9220a23712e30f69994ff7226
idris2-0.7.0/network-0.7.0/2023090800/Network/Socket.so
@comment MD5:eca8d7ebf4a5215cc33c4fc5919e3dbf
idris2-0.7.0/network-0.7.0/2023090800/Network/Socket.ttc
@comment MD5:3354b7166ee3766213d3831b2b152f91
idris2-0.7.0/network-0.7.0/2023090800/Network/Socket.ttm
@comment MD5:6550b6657fe8caa51e637995a9448585
idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Data.so
@comment MD5:2cd4e814243599f6fcfd4ee93ba1478e
idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Data.ttc
@comment MD5:0db44006208c48c81305514933e4868a
idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Data.ttm
@comment MD5:72d2a088db708bab5f0976115391712e
idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Raw.so
@comment MD5:a028a3cadb242b20505d821e1205c901
idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Raw.ttc
@comment MD5:95022c56adf2c4355dd9654c0eccb53d
idris2-0.7.0/network-0.7.0/2023090800/Network/Socket/Raw.ttm
@comment MD5:02d743852e4ac7cf135623efebfd764f
idris2-0.7.0/network-0.7.0/network.ipkg
@comment MD5:0375608a76418c356d863b53f93a0a25
idris2-0.7.0/prelude-0.7.0/2023090800/Builtin.so
@comment MD5:b19384756b2241c1136be166bd155957
idris2-0.7.0/prelude-0.7.0/2023090800/Builtin.ttc
@comment MD5:cff53a291da69240b732bb7b06f38d1c
idris2-0.7.0/prelude-0.7.0/2023090800/Builtin.ttm
@comment MD5:d8f614b6fa96a7826134cc3833305168
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude.ttc
@comment MD5:9630c4ebfc739448abd73d462a1bc549
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude.ttm
@comment MD5:f1ea743cca88f239e42150b68eaf5f79
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Basics.so
@comment MD5:b19d1c0b44b3896527d2ad5c96144cf2
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Basics.ttc
@comment MD5:d7883e6d1aa09a4d355f9515af246acb
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Basics.ttm
@comment MD5:607ad216ccba16ead9cf001ddd9adc13
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Cast.so
@comment MD5:60e32741df08dceb4f946c6b7bf6647f
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Cast.ttc
@comment MD5:e98f8b6aef50329fc5f22a03ff2194b1
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Cast.ttm
@comment MD5:a52586c8b13dd669231a03fc4cbfea0f
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/EqOrd.so
@comment MD5:53c66c1bd9d719142eab3d724202dff0
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/EqOrd.ttc
@comment MD5:4ada3111752a91fafe0aa9cf086637c4
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/EqOrd.ttm
@comment MD5:214da8b9400a9d0396645706b8ab6d17
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/IO.so
@comment MD5:a09db79f0556ff342466e6983281e677
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/IO.ttc
@comment MD5:80b309181ee9e9ceb5c722f7152862da
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/IO.ttm
@comment MD5:fe5aafe4848254dcf2b1827d9b24a113
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interfaces.so
@comment MD5:79e3aa96cc5b23fcc13b2bfa6addf6fb
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interfaces.ttc
@comment MD5:b8dc5b93a168e596a3a597fd7e326c6f
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interfaces.ttm
@comment MD5:ad3a07c5136bc6d7cc8518de8a918781
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interpolation.so
@comment MD5:31dc3edb3c7ca149dc6234057e24c3e9
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interpolation.ttc
@comment MD5:d0846c1c28924ef122f55a7238d227ce
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Interpolation.ttm
@comment MD5:efa371d90282a303af06316199f92c81
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Num.so
@comment MD5:7252ede50d7eaf139b648709469a090a
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Num.ttc
@comment MD5:acb2140389cd8fbfc80fc62562ebf798
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Num.ttm
@comment MD5:cfebc011d5dabfd9a809e99a0ccacc1d
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Ops.ttc
@comment MD5:5860cbca21d80980348e00b89402e4fb
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Ops.ttm
@comment MD5:a6083b5bfc172049e3812fd3abadf1d6
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Show.so
@comment MD5:cf8cbf65162b4cb382074bb7525cb5a0
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Show.ttc
@comment MD5:6f0773433d239a0a64361e9335c03c96
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Show.ttm
@comment MD5:b9f4561029eac35f8e23f662a2e9effd
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Types.so
@comment MD5:7f8aa40ccae39aecdacc3d82a5c1cd1c
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Types.ttc
@comment MD5:541c569ed3ac54a7af84e03dfd477838
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Types.ttm
@comment MD5:f3e4a21a2b8773fc7a4df8c1d49b13df
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Uninhabited.so
@comment MD5:65ac300fb08e49060e21c504529ef2b5
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Uninhabited.ttc
@comment MD5:6187d4a692dcb61ecc06ed3084c44e1a
idris2-0.7.0/prelude-0.7.0/2023090800/Prelude/Uninhabited.ttm
@comment MD5:b64bea4db6b59262c7910d61b887fdcb
idris2-0.7.0/prelude-0.7.0/2023090800/PrimIO.so
@comment MD5:8da96a3428abb33ae80e89e6c55a79ae
idris2-0.7.0/prelude-0.7.0/2023090800/PrimIO.ttc
@comment MD5:81e70edc233f337d03016ea9f3646972
idris2-0.7.0/prelude-0.7.0/2023090800/PrimIO.ttm
@comment MD5:d67bcf3ae925b19ece7c794baf681bf5
idris2-0.7.0/prelude-0.7.0/prelude.ipkg
@comment MD5:5536a89a04af8f7f060038ccb60626b8
idris2-0.7.0/support/c/getline.h
@comment MD5:fbfe04ab7afbb89366d9162459d53a6f
idris2-0.7.0/support/c/idris_directory.h
@comment MD5:696607e9e9760843a6799c6a26a6fda6
idris2-0.7.0/support/c/idris_file.h
@comment MD5:fdcc183d4ed0cbe6376229a69f9f49e2
idris2-0.7.0/support/c/idris_memory.h
@comment MD5:511a818189285fe6b9798841a2e97638
idris2-0.7.0/support/c/idris_net.h
@comment MD5:63c33ca1d83ddb9c81c3ffee9d125b08
idris2-0.7.0/support/c/idris_signal.h
@comment MD5:ccdb5419a15b3eff0bea1f9a1271e299
idris2-0.7.0/support/c/idris_support.h
@comment MD5:b1afdcc3c7c6db5168d31afccb5d71c2
idris2-0.7.0/support/c/idris_system.h
@comment MD5:51878411e7f37f87d6ebf08635eb2203
idris2-0.7.0/support/c/idris_term.h
@comment MD5:67e9df58faca6263637b6b9be563a5d8
idris2-0.7.0/support/c/idris_util.h
@comment MD5:105ea48eedab4001518385353569b6d6
idris2-0.7.0/support/chez/ct-support.ss
@comment MD5:6e79d733e3b260a4843f091de9293472
idris2-0.7.0/support/chez/support-sep.ss
@comment MD5:bfa6629c8c97354a927b24bcc86c45eb
idris2-0.7.0/support/chez/support.ss
@comment MD5:51fdd7db9e24df25ae5d8ef7420206b5
idris2-0.7.0/support/docs/alternative.css
@comment MD5:9c92cbc4daefd27b3dafcc21fa260d29
idris2-0.7.0/support/docs/blackandwhite.css
@comment MD5:3c0dd37beaa2da8adc42b4624275cfe7
idris2-0.7.0/support/docs/default.css
@comment MD5:7b1eb7338387f441b33656bc295e0b2a
idris2-0.7.0/support/gambit/foreign.scm
@comment MD5:a0fa9a9ebcc44e83c5d55f2ed1599767
idris2-0.7.0/support/gambit/support.scm
@comment MD5:39f40289e2fc75f5e0631773059b5a7c
idris2-0.7.0/support/js/support.js
@comment MD5:4a5625d2f7779cd8e179c74429f33a34
idris2-0.7.0/support/js/support_system.js
@comment MD5:89dcac6f24d1ea6a800d0867d920dcf8
idris2-0.7.0/support/js/support_system_clock.js
@comment MD5:9b47c40b1ecfe50e88f0c6e7443604a7
idris2-0.7.0/support/js/support_system_directory.js
@comment MD5:a95f46b8a43dd996ee2544a1e631e1e5
idris2-0.7.0/support/js/support_system_file.js
@comment MD5:fd405a068ec879b0f85af9960ae31866
idris2-0.7.0/support/js/support_system_signal.js
@comment MD5:edc654d1f0aefe662e3b2fafbefbfe91
idris2-0.7.0/support/racket/ct-support.rkt
@comment MD5:4ea84571670be9a23838f9cae9bad238
idris2-0.7.0/support/racket/support.rkt
@comment MD5:2bc0a9527041c8e8f19a7978c6458ff3
idris2-0.7.0/support/refc/_datatypes.h
@comment MD5:ad6bf58689a89d8fd6da4111a885c64f
idris2-0.7.0/support/refc/buffer.h
@comment MD5:457158778e8461f1e292623e84bbf544
idris2-0.7.0/support/refc/cBackend.h
@comment MD5:542ea31fc1fbc25511ce289470228375
idris2-0.7.0/support/refc/casts.h
@comment MD5:c509b1c838be92db7753e3cc193354c2
idris2-0.7.0/support/refc/clock.h
@comment MD5:b557203171aed5d5dbc6fcea8afa4320
idris2-0.7.0/support/refc/conCaseHelper.h
@comment MD5:a1285ea4b54f9af8b402e3f194ccfbcc
idris2-0.7.0/support/refc/libidris2_refc.a
@comment MD5:235a625223385380036eb898c44f381d
idris2-0.7.0/support/refc/mathFunctions.h
@comment MD5:1f7ad9f71d599fbef7ab368928771a75
idris2-0.7.0/support/refc/memoryManagement.h
@comment MD5:13f2c7733f3bb4fff3625cb48406b861
idris2-0.7.0/support/refc/prim.h
@comment MD5:c381d0a30f7e094655142580e70a1779
idris2-0.7.0/support/refc/refc_util.h
@comment MD5:dfca210b2f33fef9c30a3511fd0e5f97
idris2-0.7.0/support/refc/runtime.h
@comment MD5:81fff19de33626c0c6c8d94a3e790d85
idris2-0.7.0/support/refc/stringOps.h
@comment MD5:cc4ff62ab5b401fd48101c8fb8159ec3
idris2-0.7.0/support/refc/threads.h
@comment MD5:2165db037504908bd571a11c10600279
idris2-0.7.0/test-0.7.0/2023090800/Test/Golden.so
@comment MD5:ebf635fd392ad5cfc68b3bcdb66c79cc
idris2-0.7.0/test-0.7.0/2023090800/Test/Golden.ttc
@comment MD5:06e7e526dbe63ef7bb8e9d5058b14ef8
idris2-0.7.0/test-0.7.0/2023090800/Test/Golden.ttm
@comment MD5:4835edf8acd37879a8c3299bae092ed6
idris2-0.7.0/test-0.7.0/test.ipkg
@comment MD5:1816fbcdcd508092d8841872eeef0444
libexec/idris2_app/idris2.so
@comment MD5:ece9dbbd9ff220ae2c2a1b42f096c86c
libexec/idris2_app/idris2.ss
@comment MD5:be0bd6d5a4076cbac07a4af0ad86dc26
libexec/idris2_app/libidris2_support.so
@comment MD5:58ef2c46c509e8302b4eaf276e3a040c
share/bash-completion/completions/idris2
@comment MD5:b41df79e600f38884e591e52482afff7
share/zsh/site-functions/_idris2
@comment MD5:a0ba2a69923d3f7219080467adc58c8f
@cwd /usr/pkg
@ignore
+COMMENT
@ignore
+DESC
@ignore
+BUILD_VERSION
@ignore
+BUILD_INFO
@ignore
+SIZE_PKG
@ignore
+SIZE_ALL
