Filename Modification time Size Manifest 2025-06-06 23:41 CEST 1223 B lean-4.14.0-r1.ebuild 2025-02-19 08:41 CET 1796 B metadata.xml 2025-01-02 23:11 CET 954 B