Index of /macports/packages/lean/

../
lean-3.51.1_0.darwin_10.i386.tbz2                  21-Mar-2025 19:41      6M
lean-3.51.1_0.darwin_10.i386.tbz2.rmd160           21-Mar-2025 19:41     512
lean-3.51.1_0.darwin_10.x86_64.tbz2                21-Mar-2025 19:39      6M
lean-3.51.1_0.darwin_10.x86_64.tbz2.rmd160         21-Mar-2025 19:39     512
lean-3.51.1_0.darwin_12.x86_64.tbz2                21-Mar-2025 19:43      6M
lean-3.51.1_0.darwin_12.x86_64.tbz2.rmd160         21-Mar-2025 19:43     512
lean-3.51.1_0.darwin_13.x86_64.tbz2                21-Mar-2025 19:43      5M
lean-3.51.1_0.darwin_13.x86_64.tbz2.rmd160         21-Mar-2025 19:43     512
lean-3.51.1_0.darwin_14.x86_64.tbz2                06-Sep-2024 01:25      5M
lean-3.51.1_0.darwin_14.x86_64.tbz2.rmd160         06-Sep-2024 01:25     512
lean-3.51.1_0.darwin_15.x86_64.tbz2                06-Sep-2024 01:26      5M
lean-3.51.1_0.darwin_15.x86_64.tbz2.rmd160         06-Sep-2024 01:26     512
lean-3.51.1_0.darwin_16.x86_64.tbz2                06-Sep-2024 01:27      5M
lean-3.51.1_0.darwin_16.x86_64.tbz2.rmd160         06-Sep-2024 01:27     512
lean-3.51.1_0.darwin_17.x86_64.tbz2                06-Sep-2024 01:29      5M
lean-3.51.1_0.darwin_17.x86_64.tbz2.rmd160         06-Sep-2024 01:29     512
lean-3.51.1_0.darwin_18.x86_64.tbz2                06-Sep-2024 01:23      6M
lean-3.51.1_0.darwin_18.x86_64.tbz2.rmd160         06-Sep-2024 01:23     512
lean-3.51.1_0.darwin_19.x86_64.tbz2                06-Sep-2024 01:19      6M
lean-3.51.1_0.darwin_19.x86_64.tbz2.rmd160         06-Sep-2024 01:19     512
lean-3.51.1_0.darwin_20.x86_64.tbz2                06-Sep-2024 01:23      6M
lean-3.51.1_0.darwin_20.x86_64.tbz2.rmd160         06-Sep-2024 01:23     512
lean-3.51.1_0.darwin_21.arm64.tbz2                 07-Sep-2024 00:06      6M
lean-3.51.1_0.darwin_21.arm64.tbz2.rmd160          07-Sep-2024 00:06     512
lean-3.51.1_0.darwin_21.x86_64.tbz2                06-Sep-2024 01:23      6M
lean-3.51.1_0.darwin_21.x86_64.tbz2.rmd160         06-Sep-2024 01:23     512
lean-3.51.1_0.darwin_22.arm64.tbz2                 06-Sep-2024 20:22      5M
lean-3.51.1_0.darwin_22.arm64.tbz2.rmd160          06-Sep-2024 20:22     512
lean-3.51.1_0.darwin_22.x86_64.tbz2                06-Sep-2024 22:45      6M
lean-3.51.1_0.darwin_22.x86_64.tbz2.rmd160         06-Sep-2024 22:45     512
lean-3.51.1_0.darwin_23.arm64.tbz2                 06-Sep-2024 01:06      5M
lean-3.51.1_0.darwin_23.arm64.tbz2.rmd160          06-Sep-2024 01:06     512
lean-3.51.1_0.darwin_23.x86_64.tbz2                06-Sep-2024 09:23      6M
lean-3.51.1_0.darwin_23.x86_64.tbz2.rmd160         06-Sep-2024 09:23     512
lean-3.51.1_0.darwin_24.arm64.tbz2                 16-Mar-2025 02:57      5M
lean-3.51.1_0.darwin_24.arm64.tbz2.rmd160          16-Mar-2025 02:57     512
lean-3.51.1_0.darwin_24.x86_64.tbz2                10-Oct-2024 05:06      6M
lean-3.51.1_0.darwin_24.x86_64.tbz2.rmd160         10-Oct-2024 05:06     512