Index of /macports/packages/lean/


../
lean-3.50.3_0.darwin_10.x86_64.tbz2                                                                                      13-Jan-2023 07:06      6M
lean-3.50.3_0.darwin_10.x86_64.tbz2.rmd160                                                                               13-Jan-2023 07:06     512
lean-3.50.3_0.darwin_12.x86_64.tbz2                                                                                      13-Jan-2023 07:32      6M
lean-3.50.3_0.darwin_12.x86_64.tbz2.rmd160                                                                               13-Jan-2023 07:32     512
lean-3.50.3_0.darwin_13.x86_64.tbz2                                                                                      13-Jan-2023 06:51      5M
lean-3.50.3_0.darwin_13.x86_64.tbz2.rmd160                                                                               13-Jan-2023 06:51     512
lean-3.50.3_0.darwin_14.x86_64.tbz2                                                                                      13-Jan-2023 10:01      5M
lean-3.50.3_0.darwin_14.x86_64.tbz2.rmd160                                                                               13-Jan-2023 10:01     512
lean-3.50.3_0.darwin_15.x86_64.tbz2                                                                                      13-Jan-2023 07:04      5M
lean-3.50.3_0.darwin_15.x86_64.tbz2.rmd160                                                                               13-Jan-2023 07:04     512
lean-3.50.3_0.darwin_16.x86_64.tbz2                                                                                      13-Jan-2023 06:49      5M
lean-3.50.3_0.darwin_16.x86_64.tbz2.rmd160                                                                               13-Jan-2023 06:49     512
lean-3.50.3_0.darwin_17.x86_64.tbz2                                                                                      13-Jan-2023 07:17      5M
lean-3.50.3_0.darwin_17.x86_64.tbz2.rmd160                                                                               13-Jan-2023 07:17     512
lean-3.50.3_0.darwin_18.x86_64.tbz2                                                                                      13-Jan-2023 07:18      6M
lean-3.50.3_0.darwin_18.x86_64.tbz2.rmd160                                                                               13-Jan-2023 07:18     512
lean-3.50.3_0.darwin_19.x86_64.tbz2                                                                                      13-Jan-2023 06:54      6M
lean-3.50.3_0.darwin_19.x86_64.tbz2.rmd160                                                                               13-Jan-2023 06:54     512
lean-3.50.3_0.darwin_20.arm64.tbz2                                                                                       13-Jan-2023 06:33      5M
lean-3.50.3_0.darwin_20.arm64.tbz2.rmd160                                                                                13-Jan-2023 06:33     512
lean-3.50.3_0.darwin_20.x86_64.tbz2                                                                                      13-Jan-2023 06:46      6M
lean-3.50.3_0.darwin_20.x86_64.tbz2.rmd160                                                                               13-Jan-2023 06:46     512
lean-3.50.3_0.darwin_21.arm64.tbz2                                                                                       13-Jan-2023 08:12      6M
lean-3.50.3_0.darwin_21.arm64.tbz2.rmd160                                                                                13-Jan-2023 08:12     512
lean-3.50.3_0.darwin_21.x86_64.tbz2                                                                                      13-Jan-2023 08:11      6M
lean-3.50.3_0.darwin_21.x86_64.tbz2.rmd160                                                                               13-Jan-2023 08:11     512
lean-3.50.3_0.darwin_22.arm64.tbz2                                                                                       26-Feb-2023 09:07      6M
lean-3.50.3_0.darwin_22.arm64.tbz2.rmd160                                                                                26-Feb-2023 09:07     512
lean-3.50.3_0.darwin_22.x86_64.tbz2                                                                                      13-Jan-2023 07:35      6M
lean-3.50.3_0.darwin_22.x86_64.tbz2.rmd160                                                                               13-Jan-2023 07:35     512
lean-3.50.3_0.darwin_23.arm64.tbz2                                                                                       19-Jan-2024 19:51      5M
lean-3.50.3_0.darwin_23.arm64.tbz2.rmd160                                                                                19-Jan-2024 19:51     512
lean-3.50.3_0.darwin_23.x86_64.tbz2                                                                                      12-Nov-2023 11:44      6M
lean-3.50.3_0.darwin_23.x86_64.tbz2.rmd160                                                                               12-Nov-2023 11:44     512