../ files/ 10-Feb-2025 17:26 - Manifest 11-Aug-2025 18:26 1236 idris2-0.7.0-r2.ebuild 11-Aug-2025 18:26 3553 metadata.xml 17-May-2025 05:26 1255