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

NameLast ModifiedSizeType
../ -  Directory
Manifest2026-Jul-04 23:08:090.9Kapplication/octet-stream
lean-4.24.0.ebuild2026-Jun-02 14:08:331.8Kapplication/octet-stream
metadata.xml2025-Jan-03 07:11:280.9Ktext/xml
Tsukuba WIDE public mirror service