AUX idris2-0.7.0-disable-allbackends-tests.patch 255 BLAKE2B b81b2185f66ee30c456c0fd2b8f408aa24a83df89b3db3f2dbd04948aa17bf1498bf666e8de02fd64651183c4d59d7d1348c4f2d223f3a1d55a97b2384d955b0 SHA512 f0edca9ee09caf99c58dae7bced66a03956ada42aed5aab4dd299d29ccc33f18feaa8d31f8fc19a838955f2469ba52ca0d201ea3765da545239801824889f933
DIST idris2-0.6.0.tar.gz 6706586 BLAKE2B 79c16120b5845047d510a6f75729f1999f5b468e27189bd806f772d07e1789622ca0182933d0ec0833f5c3af05e00f13edda2f595aa35b5d0fcb2301c5c25407 SHA512 342ab3d9e38c8150c7eec997e9cbadd4aa12ccb18994b6b008f165deb20fd5fc79f4944387316cbba03e56fa1545b0afbb277988449af5b21d20f81207f6f367
DIST idris2-0.7.0.tar.gz 6987849 BLAKE2B 5a3df7eb4541830822c92bc76e616266e9535c7fe989e78db4477c724d25720ec46bb21625ab9c0541da52fbacc0b1f7d49c3316191f88b553ec8a4f8d22892c SHA512 3c645807d71ecf62bc66b674438ebf80ec6e7e4bbf473d86ec06bc7b59f8187618e0d56535380079837e15caebef02deba9beb3eb3c77da787befac88d7a6d2b
EBUILD idris2-0.6.0.ebuild 2479 BLAKE2B 731bf16a7c12e837be7ee2a4ffed529f914758abca0ba2121433eabcde588213baae06e5744c7721f492ba572dcc29358a9b1999d70ffb0857ed180b86526553 SHA512 4fbd11cafcab94768332e98336d159b65f26cc564a5d2180d5ee61c6f0c2d2256a220cb3c361ee7d470d16ccd02b41e17a2490b8e8be542fb7859496cc2fd955
EBUILD idris2-0.7.0.ebuild 2828 BLAKE2B 08b2b85af4b8ab87cb6f14b913296479ef5181c58d8bd8795e68d77127b9cf31c7a4cc0fc37e7856d0f602496d7a397a3d517d0af190574b6a6a3191602d341b SHA512 d1dd11371a54e900cf0ea61b754a78e31b636487b364f584f2680aab187ccdf47f01ce86840ca69b80f097d92bc925686f4fb611ca79c8f3d793083aaffc41f6
MISC metadata.xml 1255 BLAKE2B d4d6a952913f404faab8d2383eab1ece0de7bc20486c3126149f7644b3d3445b6b87948f14b43b812dc748824d26da610914969a906735d6c13b9cdbcc0e6ba1 SHA512 df684d9f038601e7d8728a226743f79c7523bb462ed231fb60f33cc214c267dd1981da3f7c39d6cfc153a389330e779cfd580266677e003f8787366545c1f0fa