../ files/ 10-Feb-2025 17:26 - Manifest 10-Feb-2025 17:26 1844 idris2-0.6.0.ebuild 10-Feb-2025 17:26 2479 idris2-0.7.0.ebuild 10-Feb-2025 17:26 2828 metadata.xml 10-Feb-2025 17:26 1255