DIST idris2-0.8.0.tar.gz 6995063 BLAKE2B b1418906eb7ede1777e633e088f654d124d5240f0ca45f0a6b9345e2995f435c4f744730ad49cacc0035f47cc711cfa6bf9c9936832dfe63f5fc897eb9c8f40a
EBUILD idris2-0.8.0.ebuild 3482 BLAKE2B 7d3b4a17b4ef284b4b6204c70a8df6122d52f244a45afa53cfbc51ddf4259a78ac59526e6a999001a764ce9f25f77734219d60f9ca48b30410aa4ef57562ee5b