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