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

NameLast ModifiedSizeType
../ -  Directory
Manifest2026-Jul-04 14:08:090.9Kapplication/octet-stream
lean-4.24.0.ebuild2026-Jun-02 05:08:331.8Kapplication/vnd.gentoo.ebuild
metadata.xml2025-Jan-02 22:11:280.9Kapplication/xml
lighttpd/1.4.79