Index of /macports/packages/lean/

../
lean-3.51.1_0.darwin_14.x86_64.tbz2                                                                                      05-Sep-2024 22:25      5M
lean-3.51.1_0.darwin_14.x86_64.tbz2.rmd160                                                                               05-Sep-2024 22:25     512
lean-3.51.1_0.darwin_15.x86_64.tbz2                                                                                      05-Sep-2024 22:26      5M
lean-3.51.1_0.darwin_15.x86_64.tbz2.rmd160                                                                               05-Sep-2024 22:26     512
lean-3.51.1_0.darwin_16.x86_64.tbz2                                                                                      05-Sep-2024 22:27      5M
lean-3.51.1_0.darwin_16.x86_64.tbz2.rmd160                                                                               05-Sep-2024 22:27     512
lean-3.51.1_0.darwin_17.x86_64.tbz2                                                                                      05-Sep-2024 22:29      5M
lean-3.51.1_0.darwin_17.x86_64.tbz2.rmd160                                                                               05-Sep-2024 22:29     512
lean-3.51.1_0.darwin_18.x86_64.tbz2                                                                                      05-Sep-2024 22:23      6M
lean-3.51.1_0.darwin_18.x86_64.tbz2.rmd160                                                                               05-Sep-2024 22:23     512
lean-3.51.1_0.darwin_19.x86_64.tbz2                                                                                      05-Sep-2024 22:19      6M
lean-3.51.1_0.darwin_19.x86_64.tbz2.rmd160                                                                               05-Sep-2024 22:19     512
lean-3.51.1_0.darwin_20.x86_64.tbz2                                                                                      05-Sep-2024 22:23      6M
lean-3.51.1_0.darwin_20.x86_64.tbz2.rmd160                                                                               05-Sep-2024 22:23     512
lean-3.51.1_0.darwin_21.arm64.tbz2                                                                                       06-Sep-2024 21:06      6M
lean-3.51.1_0.darwin_21.arm64.tbz2.rmd160                                                                                06-Sep-2024 21:06     512
lean-3.51.1_0.darwin_21.x86_64.tbz2                                                                                      05-Sep-2024 22:23      6M
lean-3.51.1_0.darwin_21.x86_64.tbz2.rmd160                                                                               05-Sep-2024 22:23     512
lean-3.51.1_0.darwin_22.arm64.tbz2                                                                                       06-Sep-2024 17:22      5M
lean-3.51.1_0.darwin_22.arm64.tbz2.rmd160                                                                                06-Sep-2024 17:22     512
lean-3.51.1_0.darwin_22.x86_64.tbz2                                                                                      06-Sep-2024 19:45      6M
lean-3.51.1_0.darwin_22.x86_64.tbz2.rmd160                                                                               06-Sep-2024 19:45     512
lean-3.51.1_0.darwin_23.arm64.tbz2                                                                                       05-Sep-2024 22:06      5M
lean-3.51.1_0.darwin_23.arm64.tbz2.rmd160                                                                                05-Sep-2024 22:06     512
lean-3.51.1_0.darwin_23.x86_64.tbz2                                                                                      06-Sep-2024 06:23      6M
lean-3.51.1_0.darwin_23.x86_64.tbz2.rmd160                                                                               06-Sep-2024 06:23     512
lean-3.51.1_0.darwin_24.x86_64.tbz2                                                                                      10-Oct-2024 02:06      6M
lean-3.51.1_0.darwin_24.x86_64.tbz2.rmd160                                                                               10-Oct-2024 02:06     512