Index of /gentoo-portage/sci-mathematics/lean
Name
Last modified
Size
Description
Parent Directory
-
Manifest
2025-06-07 05:41
1.2K
files/
2025-07-05 13:11
-
lean-4.14.0-r1.ebuild
2025-02-19 15:41
1.8K
metadata.xml
2025-01-03 06:11
954