DIST idris2-0.7.0.tar.gz 6987849 BLAKE2B 5a3df7eb4541830822c92bc76e616266e9535c7fe989e78db4477c724d25720ec46bb21625ab9c0541da52fbacc0b1f7d49c3316191f88b553ec8a4f8d22892c
EBUILD idris2-0.7.0.ebuild 2711 BLAKE2B 1013467886289f413afc2b3d18b9d00a6fb55b00573a2ce1eeae8206593c15cfa70b5829de559395909dc63943429b91e128f4bdf625a6dfa2d81f520c6b56bf
EBUILD idris2-9999.ebuild 2696 BLAKE2B ba2df17860f94388b25557af995cb545495e7c7f5480022c11a2e4a462bb6cbd6b3e657cf7fdc8e435decfbab10b922a096891ba9145d2cd952064faa6f65403