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


../
files/                                             07-Dec-2022 18:40       -
Manifest                                           18-Nov-2022 22:40    3349
lean-3.47.0.ebuild                                 26-Aug-2022 00:40    1768
lean-3.48.0.ebuild                                 30-Aug-2022 14:40    1768
lean-3.49.0.ebuild                                 12-Nov-2022 05:40    1768
lean-3.49.1.ebuild                                 18-Nov-2022 22:40    1768
lean-3.9999.ebuild                                 26-Aug-2022 00:40    1767
metadata.xml                                       22-Feb-2022 18:39     606