Index of /macports-packages/lean/

../
lean-3.50.3_0.darwin_10.x86_64.tbz2                13-Jan-2023 07:06             6255598
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             5922907
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             5724482
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             5725335
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             5722449
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             5693766
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             5712951
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             6067442
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             6178989
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             5754392
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             6046089
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             5805377
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             6114172
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             5809971
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             6103239
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             5545994
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             5796176
lean-3.50.3_0.darwin_23.x86_64.tbz2.rmd160         12-Nov-2023 11:44                 512