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