Index of /macports-distfiles/lean/


../
lean-3.32.1.tar.gz                                 16-Aug-2021 04:38             1873303
lean-3.33.0.tar.gz                                 28-Sep-2021 23:38             1890687
lean-3.35.1.tar.gz                                 13-Nov-2021 19:33             1872621
lean-3.38.0.tar.gz                                 25-Jan-2022 14:35             1877471
lean-3.39.1.tar.gz                                 15-Feb-2022 14:19             1878652
lean-3.42.0.tar.gz                                 20-Mar-2022 13:04             1908320
lean-3.42.1.tar.gz                                 04-Apr-2022 14:41             1908637
lean-3.43.0.tar.gz                                 29-May-2022 07:14             1909352
lean-3.44.1.tar.gz                                 02-Jul-2022 14:32             1911770
lean-3.45.0.tar.gz                                 30-Jul-2022 12:46             1913685
lean-3.46.0.tar.gz                                 09-Aug-2022 14:46             1913900
lean-3.47.0.tar.gz                                 29-Aug-2022 03:03             1918213
lean-3.48.0.tar.gz                                 07-Sep-2022 04:04             1918262