../ files/ 23-Sep-2025 10:10 - Manifest 11-Aug-2025 06:42 1236 idris2-0.7.0-r2.ebuild 11-Aug-2025 06:42 3553 metadata.xml 20-Mar-2025 08:38 1255