Index of /ftp/gentoo-portage/sci-mathematics/lean/

NameLast ModifiedSizeType
../ -  Directory
files/2025-Jul-03 18:08:30-  Directory
Manifest2025-Jun-06 23:41:261.1Kapplication/octet-stream
lean-4.14.0-r1.ebuild2025-Feb-19 08:41:171.7Kapplication/vnd.gentoo.ebuild
metadata.xml2025-Jan-02 23:11:280.9Kapplication/xml
lighttpd/1.4.69