Index of /lean
Name
Last modified
Size
Description
Parent Directory
-
lean-3.50.0_0.darwin_10.x86_64.tbz2
2022-12-20 01:58
6.0M
lean-3.50.0_0.darwin_10.x86_64.tbz2.rmd160
2022-12-20 01:58
512
lean-3.50.0_0.darwin_12.x86_64.tbz2
2022-12-20 01:59
5.7M
lean-3.50.0_0.darwin_12.x86_64.tbz2.rmd160
2022-12-20 01:59
512
lean-3.50.0_0.darwin_13.x86_64.tbz2
2022-12-20 01:56
5.5M
lean-3.50.0_0.darwin_13.x86_64.tbz2.rmd160
2022-12-20 01:56
512
lean-3.50.0_0.darwin_14.x86_64.tbz2
2022-12-20 01:58
5.5M
lean-3.50.0_0.darwin_14.x86_64.tbz2.rmd160
2022-12-20 01:58
512
lean-3.50.0_0.darwin_15.x86_64.tbz2
2022-12-20 01:58
5.5M
lean-3.50.0_0.darwin_15.x86_64.tbz2.rmd160
2022-12-20 01:58
512
lean-3.50.0_0.darwin_16.x86_64.tbz2
2022-12-20 01:46
5.4M
lean-3.50.0_0.darwin_16.x86_64.tbz2.rmd160
2022-12-20 01:46
512
lean-3.50.0_0.darwin_17.x86_64.tbz2
2022-12-20 01:59
5.4M
lean-3.50.0_0.darwin_17.x86_64.tbz2.rmd160
2022-12-20 01:59
512
lean-3.50.0_0.darwin_18.x86_64.tbz2
2022-12-20 01:47
5.8M
lean-3.50.0_0.darwin_18.x86_64.tbz2.rmd160
2022-12-20 01:47
512
lean-3.50.0_0.darwin_19.x86_64.tbz2
2022-12-20 01:49
5.9M
lean-3.50.0_0.darwin_19.x86_64.tbz2.rmd160
2022-12-20 01:49
512
lean-3.50.0_0.darwin_20.arm64.tbz2
2022-12-20 08:44
5.5M
lean-3.50.0_0.darwin_20.arm64.tbz2.rmd160
2022-12-20 08:44
512
lean-3.50.0_0.darwin_20.x86_64.tbz2
2022-12-20 01:44
5.8M
lean-3.50.0_0.darwin_20.x86_64.tbz2.rmd160
2022-12-20 01:44
512
lean-3.50.0_0.darwin_21.arm64.tbz2
2022-12-20 01:34
5.5M
lean-3.50.0_0.darwin_21.arm64.tbz2.rmd160
2022-12-20 01:34
512
lean-3.50.0_0.darwin_21.x86_64.tbz2
2022-12-20 01:54
5.8M
lean-3.50.0_0.darwin_21.x86_64.tbz2.rmd160
2022-12-20 01:54
512
lean-3.50.0_0.darwin_22.x86_64.tbz2
2022-12-20 11:42
5.8M
lean-3.50.0_0.darwin_22.x86_64.tbz2.rmd160
2022-12-20 11:42
512
lean-3.50.2_0.darwin_10.x86_64.tbz2
2022-12-26 11:58
6.0M
lean-3.50.2_0.darwin_10.x86_64.tbz2.rmd160
2022-12-26 11:58
512
lean-3.50.2_0.darwin_12.x86_64.tbz2
2022-12-26 12:05
5.6M
lean-3.50.2_0.darwin_12.x86_64.tbz2.rmd160
2022-12-26 12:05
512
lean-3.50.2_0.darwin_13.x86_64.tbz2
2022-12-26 20:56
5.5M
lean-3.50.2_0.darwin_13.x86_64.tbz2.rmd160
2022-12-26 20:56
512
lean-3.50.2_0.darwin_14.x86_64.tbz2
2022-12-26 12:07
5.5M
lean-3.50.2_0.darwin_14.x86_64.tbz2.rmd160
2022-12-26 12:07
512
lean-3.50.2_0.darwin_15.x86_64.tbz2
2022-12-26 12:05
5.5M
lean-3.50.2_0.darwin_15.x86_64.tbz2.rmd160
2022-12-26 12:05
512
lean-3.50.2_0.darwin_16.x86_64.tbz2
2022-12-26 11:53
5.4M
lean-3.50.2_0.darwin_16.x86_64.tbz2.rmd160
2022-12-26 11:53
512
lean-3.50.2_0.darwin_17.x86_64.tbz2
2022-12-26 12:12
5.4M
lean-3.50.2_0.darwin_17.x86_64.tbz2.rmd160
2022-12-26 12:12
512
lean-3.50.2_0.darwin_18.x86_64.tbz2
2022-12-26 17:10
5.8M
lean-3.50.2_0.darwin_18.x86_64.tbz2.rmd160
2022-12-26 17:10
512
lean-3.50.2_0.darwin_19.x86_64.tbz2
2022-12-26 12:03
5.9M
lean-3.50.2_0.darwin_19.x86_64.tbz2.rmd160
2022-12-26 12:03
512
lean-3.50.2_0.darwin_20.arm64.tbz2
2022-12-26 11:38
5.5M
lean-3.50.2_0.darwin_20.arm64.tbz2.rmd160
2022-12-26 11:38
512
lean-3.50.2_0.darwin_20.x86_64.tbz2
2022-12-26 11:59
5.8M
lean-3.50.2_0.darwin_20.x86_64.tbz2.rmd160
2022-12-26 11:59
512
lean-3.50.2_0.darwin_21.arm64.tbz2
2022-12-26 20:44
5.5M
lean-3.50.2_0.darwin_21.arm64.tbz2.rmd160
2022-12-26 20:44
512
lean-3.50.2_0.darwin_21.x86_64.tbz2
2022-12-26 16:14
5.8M
lean-3.50.2_0.darwin_21.x86_64.tbz2.rmd160
2022-12-26 16:14
512
lean-3.50.2_0.darwin_22.x86_64.tbz2
2022-12-26 13:39
5.8M
lean-3.50.2_0.darwin_22.x86_64.tbz2.rmd160
2022-12-26 13:39
512
lean-3.50.3_0.darwin_10.x86_64.tbz2
2023-01-13 07:06
6.0M
lean-3.50.3_0.darwin_10.x86_64.tbz2.rmd160
2023-01-13 07:06
512
lean-3.50.3_0.darwin_12.x86_64.tbz2
2023-01-13 07:32
5.6M
lean-3.50.3_0.darwin_12.x86_64.tbz2.rmd160
2023-01-13 07:32
512
lean-3.50.3_0.darwin_13.x86_64.tbz2
2023-01-13 06:51
5.5M
lean-3.50.3_0.darwin_13.x86_64.tbz2.rmd160
2023-01-13 06:51
512
lean-3.50.3_0.darwin_14.x86_64.tbz2
2023-01-13 10:01
5.5M
lean-3.50.3_0.darwin_14.x86_64.tbz2.rmd160
2023-01-13 10:01
512
lean-3.50.3_0.darwin_15.x86_64.tbz2
2023-01-13 07:04
5.5M
lean-3.50.3_0.darwin_15.x86_64.tbz2.rmd160
2023-01-13 07:04
512
lean-3.50.3_0.darwin_16.x86_64.tbz2
2023-01-13 06:49
5.4M
lean-3.50.3_0.darwin_16.x86_64.tbz2.rmd160
2023-01-13 06:49
512
lean-3.50.3_0.darwin_17.x86_64.tbz2
2023-01-13 07:17
5.4M
lean-3.50.3_0.darwin_17.x86_64.tbz2.rmd160
2023-01-13 07:17
512
lean-3.50.3_0.darwin_18.x86_64.tbz2
2023-01-13 07:18
5.8M
lean-3.50.3_0.darwin_18.x86_64.tbz2.rmd160
2023-01-13 07:18
512
lean-3.50.3_0.darwin_19.x86_64.tbz2
2023-01-13 06:54
5.9M
lean-3.50.3_0.darwin_19.x86_64.tbz2.rmd160
2023-01-13 06:54
512
lean-3.50.3_0.darwin_20.arm64.tbz2
2023-01-13 06:33
5.5M
lean-3.50.3_0.darwin_20.arm64.tbz2.rmd160
2023-01-13 06:33
512
lean-3.50.3_0.darwin_20.x86_64.tbz2
2023-01-13 06:46
5.8M
lean-3.50.3_0.darwin_20.x86_64.tbz2.rmd160
2023-01-13 06:46
512
lean-3.50.3_0.darwin_21.arm64.tbz2
2023-01-13 08:12
5.5M
lean-3.50.3_0.darwin_21.arm64.tbz2.rmd160
2023-01-13 08:12
512
lean-3.50.3_0.darwin_21.x86_64.tbz2
2023-01-13 08:11
5.8M
lean-3.50.3_0.darwin_21.x86_64.tbz2.rmd160
2023-01-13 08:11
512
lean-3.50.3_0.darwin_22.arm64.tbz2
2023-02-26 09:07
5.5M
lean-3.50.3_0.darwin_22.arm64.tbz2.rmd160
2023-02-26 09:07
512
lean-3.50.3_0.darwin_22.x86_64.tbz2
2023-01-13 07:35
5.8M
lean-3.50.3_0.darwin_22.x86_64.tbz2.rmd160
2023-01-13 07:35
512