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


../
files/                                                                                                                   31-Jan-2023 15: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