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