Index of /gentoo-portage-snapshots/2022-08-15-0015/sci-mathematics/lean/

../
files/                                             14-Aug-2022 23:40                   -
Manifest                                           09-Aug-2022 01:10                2740
lean-3.44.1.ebuild                                 02-Aug-2022 22:10                1786
lean-3.45.0.ebuild                                 02-Aug-2022 22:10                1786
lean-3.46.0.ebuild                                 09-Aug-2022 01:10                1786
lean-3.9999.ebuild                                 02-Aug-2022 22:10                1786
metadata.xml                                       22-Feb-2022 18:39                 606