Name Last modified Size Description Parent Directory - Manifest 10-Jan-2024 02:31 507 idris2-9999.ebuild 10-Jan-2024 02:31 2.6K idris2-0.7.0.ebuild 10-Jan-2024 02:31 2.6K