Index of /lean/


../
lean-3.51.1_0.darwin_14.x86_64.tbz2                05-Sep-2024 22:25             5761217
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             5761018
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             5724874
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             5744560
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             6064580
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             6201070
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             6084627
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             5850224
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             6135410
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             5542051
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             5792786
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             5587473
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             5809934
lean-3.51.1_0.darwin_23.x86_64.tbz2.rmd160         06-Sep-2024 06:23                 512
lean-3.51.1_0.darwin_24.x86_64.tbz2                10-Oct-2024 02:06             5800965
lean-3.51.1_0.darwin_24.x86_64.tbz2.rmd160         10-Oct-2024 02:06                 512