Index of /gentoo-repo/sci-mathematics/lean/

../
Manifest                                           04-Jul-2026 14:32                 306
lean-4.24.0.ebuild                                 02-Jun-2026 05:27                1842
metadata.xml                                       02-Jan-2025 22:22                 954