Index of /macports/distfiles/lean/

../
lean-3.32.1.tar.gz                                 16-Aug-2021 12:38      2M
lean-3.33.0.tar.gz                                 29-Sep-2021 07:38      2M
lean-3.35.1.tar.gz                                 14-Nov-2021 03:33      2M
lean-3.38.0.tar.gz                                 25-Jan-2022 22:35      2M
lean-3.39.1.tar.gz                                 15-Feb-2022 22:19      2M
lean-3.42.0.tar.gz                                 20-Mar-2022 21:04      2M
lean-3.42.1.tar.gz                                 04-Apr-2022 22:41      2M
lean-3.43.0.tar.gz                                 29-May-2022 15:14      2M
lean-3.44.1.tar.gz                                 02-Jul-2022 22:32      2M
lean-3.45.0.tar.gz                                 30-Jul-2022 20:46      2M
lean-3.46.0.tar.gz                                 09-Aug-2022 22:46      2M
lean-3.47.0.tar.gz                                 29-Aug-2022 11:03      2M
lean-3.48.0.tar.gz                                 07-Sep-2022 12:04      2M
lean-3.49.1.tar.gz                                 24-Nov-2022 20:59      2M
lean-3.50.0.tar.gz                                 20-Dec-2022 09:32      2M
lean-3.50.2.tar.gz                                 26-Dec-2022 19:36      2M
lean-3.50.3.tar.gz                                 13-Jan-2023 14:31      2M
lean-3.51.1.tar.gz                                 06-Sep-2024 06:04      2M