../ files/ 25-Sep-2025 11:13 - Manifest 11-Aug-2025 13:42 1236 idris2-0.7.0-r2.ebuild 11-Aug-2025 13:42 3553 metadata.xml 20-Mar-2025 15:38 1255