Index of /gentoo-portage-snapshots/2023-01-02-0015/sci-mathematics/lean/

../
files/                                             01-Jan-2023 23:40                   -
Manifest                                           27-Dec-2022 02:40                3349
lean-3.49.0.ebuild                                 22-Dec-2022 00:10                1767
lean-3.50.1.ebuild                                 22-Dec-2022 00:10                1768
lean-3.50.2.ebuild                                 24-Dec-2022 03:10                1768
lean-3.50.3.ebuild                                 27-Dec-2022 02:40                1768
lean-3.9999.ebuild                                 26-Aug-2022 00:40                1767
metadata.xml                                       22-Feb-2022 18:39                 606