../ files/ 01-Jul-2025 13:26 - Manifest 01-Jul-2025 13:26 1233 idris2-0.7.0.ebuild 01-Jul-2025 13:26 2828 metadata.xml 01-Jul-2025 13:26 1255