Index of /macports/distfiles/lean/

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