Index of /pub/macports/packages/lean
Name
Last modified
Size
Description
Parent Directory
-
lean-3.51.1_0.darwin_21.arm64.tbz2.rmd160
2024-09-06 17:06
512
lean-3.51.1_0.darwin_21.arm64.tbz2
2024-09-06 17:06
5.6M
lean-3.51.1_0.darwin_22.x86_64.tbz2.rmd160
2024-09-06 15:45
512
lean-3.51.1_0.darwin_22.x86_64.tbz2
2024-09-06 15:45
5.5M
lean-3.51.1_0.darwin_22.arm64.tbz2.rmd160
2024-09-06 13:22
512
lean-3.51.1_0.darwin_22.arm64.tbz2
2024-09-06 13:22
5.3M
lean-3.51.1_0.darwin_23.x86_64.tbz2.rmd160
2024-09-06 02:23
512
lean-3.51.1_0.darwin_23.x86_64.tbz2
2024-09-06 02:23
5.5M
lean-3.51.1_0.darwin_17.x86_64.tbz2.rmd160
2024-09-05 18:29
512
lean-3.51.1_0.darwin_17.x86_64.tbz2
2024-09-05 18:29
5.5M
lean-3.51.1_0.darwin_16.x86_64.tbz2.rmd160
2024-09-05 18:27
512
lean-3.51.1_0.darwin_16.x86_64.tbz2
2024-09-05 18:27
5.5M
lean-3.51.1_0.darwin_15.x86_64.tbz2.rmd160
2024-09-05 18:26
512
lean-3.51.1_0.darwin_15.x86_64.tbz2
2024-09-05 18:26
5.5M
lean-3.51.1_0.darwin_14.x86_64.tbz2.rmd160
2024-09-05 18:25
512
lean-3.51.1_0.darwin_14.x86_64.tbz2
2024-09-05 18:25
5.5M
lean-3.51.1_0.darwin_21.x86_64.tbz2.rmd160
2024-09-05 18:23
512
lean-3.51.1_0.darwin_21.x86_64.tbz2
2024-09-05 18:23
5.9M
lean-3.51.1_0.darwin_20.x86_64.tbz2.rmd160
2024-09-05 18:23
512
lean-3.51.1_0.darwin_20.x86_64.tbz2
2024-09-05 18:23
5.8M
lean-3.51.1_0.darwin_18.x86_64.tbz2.rmd160
2024-09-05 18:23
512
lean-3.51.1_0.darwin_18.x86_64.tbz2
2024-09-05 18:23
5.8M
lean-3.51.1_0.darwin_19.x86_64.tbz2.rmd160
2024-09-05 18:19
512
lean-3.51.1_0.darwin_19.x86_64.tbz2
2024-09-05 18:19
5.9M
lean-3.51.1_0.darwin_23.arm64.tbz2.rmd160
2024-09-05 18:06
512
lean-3.51.1_0.darwin_23.arm64.tbz2
2024-09-05 18:06
5.3M