Index of /macports/packages/lean/

../
lean-3.51.1_0.darwin_10.i386.tbz2                  21-Mar-2025 16:41      6M
lean-3.51.1_0.darwin_10.i386.tbz2.rmd160           21-Mar-2025 16:41     512
lean-3.51.1_0.darwin_10.x86_64.tbz2                21-Mar-2025 16:39      6M
lean-3.51.1_0.darwin_10.x86_64.tbz2.rmd160         21-Mar-2025 16:39     512
lean-3.51.1_0.darwin_12.x86_64.tbz2                21-Mar-2025 16:43      6M
lean-3.51.1_0.darwin_12.x86_64.tbz2.rmd160         21-Mar-2025 16:43     512
lean-3.51.1_0.darwin_13.x86_64.tbz2                21-Mar-2025 16:43      5M
lean-3.51.1_0.darwin_13.x86_64.tbz2.rmd160         21-Mar-2025 16:43     512
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.arm64.tbz2                 15-Mar-2025 23:57      5M
lean-3.51.1_0.darwin_24.arm64.tbz2.rmd160          15-Mar-2025 23:57     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