DIST idris2-0.8.0.tar.gz 6995063 BLAKE2B b1418906eb7ede1777e633e088f654d124d5240f0ca45f0a6b9345e2995f435c4f744730ad49cacc0035f47cc711cfa6bf9c9936832dfe63f5fc897eb9c8f40a
EBUILD idris2-0.8.0.ebuild 3482 BLAKE2B 46e95b3c3b253bcd69717b54d90450e6ad99885eb6edcd506b228debcfd89a1e103167263af2a93ab9f08ca285e8bbaf8f97888a16020d52ff98a08d3bb89953