Index of /gentoo-portage-snapshots/2022-11-16-0015/sci-mathematics/lean/

../
files/                                             15-Nov-2022 23:40                   -
Manifest                                           12-Nov-2022 05:40                2740
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.9999.ebuild                                 26-Aug-2022 00:40                1767
metadata.xml                                       22-Feb-2022 18:39                 606