Index of /gentoo-portage/sci-mathematics/lean/
Name
Size
Date
📁 ../
-
-
📁 files/
-
2025-11-18 16:40:47
📄 lean-4.14.0-r1.ebuild
1914 bytes
2025-10-14 20:15:07
📄 lean-4.23.0.ebuild
1843 bytes
2025-10-14 20:15:07
📄 Manifest
1833 bytes
2025-10-14 20:15:07
📄 metadata.xml
954 bytes
2025-01-02 22:11:28