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

../
files/                                             19-Sep-2024 01:11                   -
Manifest                                           18-Jan-2024 17:40                2132
lean-3.46.0.ebuild                                 09-Aug-2022 01:10                1786
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                                 22-Dec-2022 00:10                1767
lean-3.49.1.ebuild                                 18-Nov-2022 22:40                1768
lean-3.50.0.ebuild                                 15-Dec-2022 09:10                1768
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                                 26-May-2023 07:40                1815
lean-3.51.0.ebuild                                 17-May-2023 21:10                1816
lean-3.51.1.ebuild                                 15-Aug-2023 16:10                1815
lean-3.9999.ebuild                                 18-Apr-2023 14:10                1816
lean-4.2.0.ebuild                                  18-Jan-2024 17:40                1319
lean-4.2.0_rc4.ebuild                              26-Oct-2023 13:40                1320
metadata.xml                                       22-Feb-2022 18:39                 606