AUX idris2-0.7.0-disable-allbackends-tests.patch 255 BLAKE2B b81b2185f66ee30c456c0fd2b8f408aa24a83df89b3db3f2dbd04948aa17bf1498bf666e8de02fd64651183c4d59d7d1348c4f2d223f3a1d55a97b2384d955b0 SHA512 f0edca9ee09caf99c58dae7bced66a03956ada42aed5aab4dd299d29ccc33f18feaa8d31f8fc19a838955f2469ba52ca0d201ea3765da545239801824889f933
DIST idris2-0.7.0.tar.gz 6987849 BLAKE2B 5a3df7eb4541830822c92bc76e616266e9535c7fe989e78db4477c724d25720ec46bb21625ab9c0541da52fbacc0b1f7d49c3316191f88b553ec8a4f8d22892c SHA512 3c645807d71ecf62bc66b674438ebf80ec6e7e4bbf473d86ec06bc7b59f8187618e0d56535380079837e15caebef02deba9beb3eb3c77da787befac88d7a6d2b
EBUILD idris2-0.7.0-r2.ebuild 3553 BLAKE2B aa9738289e520eb2b4237c3e553002063c0e00ab669cc77c6d0c721685750fc8cb18d721ec34e0e9e215aab8318a7bdefec5feda6b098654f102b871904546da SHA512 d40419e43199b7bd5a354593c4356a8440a02c28bb8eb623919bb69a27f6bc539942d5085ab875cb02e7311b2cc25804f8f8efe010ff5649e078cda525e5a6ed
MISC metadata.xml 1255 BLAKE2B d4d6a952913f404faab8d2383eab1ece0de7bc20486c3126149f7644b3d3445b6b87948f14b43b812dc748824d26da610914969a906735d6c13b9cdbcc0e6ba1 SHA512 df684d9f038601e7d8728a226743f79c7523bb462ed231fb60f33cc214c267dd1981da3f7c39d6cfc153a389330e779cfd580266677e003f8787366545c1f0fa