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

../
files/                                             30-Mar-2026 04:54                   -
Manifest                                           30-Mar-2026 04:45                1833
lean-4.14.0-r1.ebuild                              30-Mar-2026 04:45                1914
lean-4.23.0.ebuild                                 30-Mar-2026 04:45                1843
metadata.xml                                       30-Mar-2026 04:45                 954