Index of /gentoo-portage-prefix/sci-mathematics/lean/

../
Manifest                                           04-Jul-2026 22:26     905
lean-4.24.0.ebuild                                 02-Jun-2026 13:56    1842
metadata.xml                                       04-Jul-2026 22:26     954