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

../
files/                                             09-May-2024 12:10                   -
Manifest                                           19-Jan-2024 01:40                2132
lean-3.51.1.ebuild                                 16-Aug-2023 00:10                1815
lean-4.2.0.ebuild                                  19-Jan-2024 01:40                1319
metadata.xml                                       23-Feb-2022 02:39                 606