Index of /gentoo-portage/sci-mathematics/lean/
Name
Size
Date
📁 ../
-
-
📄 lean-4.24.0.ebuild
1842 bytes
2026-06-02 05:08:33
📄 Manifest
905 bytes
2026-07-04 14:08:09
📄 metadata.xml
954 bytes
2025-01-02 22:11:28