Filename Modification time Size Manifest 2025-08-11 12:42 CEST 1236 B idris2-0.7.0-r2.ebuild 2025-08-11 12:42 CEST 3553 B metadata.xml 2025-03-20 13:38 CET 1255 B