../ files/ 12-Aug-2025 11:00 - 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