Index of /lean
Name
Last modified
Size
Parent Directory
-
lean-3.43.0_0.darwin_10.x86_64.tbz2
2022-05-29 16:40
5.9M
lean-3.43.0_0.darwin_10.x86_64.tbz2.rmd160
2022-05-29 16:40
512
lean-3.43.0_0.darwin_12.x86_64.tbz2
2022-05-29 16:40
5.6M
lean-3.43.0_0.darwin_12.x86_64.tbz2.rmd160
2022-05-29 16:40
512
lean-3.43.0_0.darwin_13.x86_64.tbz2
2022-05-29 16:34
5.4M
lean-3.43.0_0.darwin_13.x86_64.tbz2.rmd160
2022-05-29 16:34
512
lean-3.43.0_0.darwin_14.x86_64.tbz2
2022-05-29 16:40
5.4M
lean-3.43.0_0.darwin_14.x86_64.tbz2.rmd160
2022-05-29 16:40
512
lean-3.43.0_0.darwin_15.x86_64.tbz2
2022-05-29 16:34
5.4M
lean-3.43.0_0.darwin_15.x86_64.tbz2.rmd160
2022-05-29 16:34
512
lean-3.43.0_0.darwin_16.x86_64.tbz2
2022-05-29 16:27
5.4M
lean-3.43.0_0.darwin_16.x86_64.tbz2.rmd160
2022-05-29 16:27
512
lean-3.43.0_0.darwin_17.x86_64.tbz2
2022-05-29 16:41
5.4M
lean-3.43.0_0.darwin_17.x86_64.tbz2.rmd160
2022-05-29 16:41
512
lean-3.43.0_0.darwin_18.x86_64.tbz2
2022-05-29 16:29
5.8M
lean-3.43.0_0.darwin_18.x86_64.tbz2.rmd160
2022-05-29 16:29
512
lean-3.43.0_0.darwin_19.x86_64.tbz2
2022-05-29 16:28
5.9M
lean-3.43.0_0.darwin_19.x86_64.tbz2.rmd160
2022-05-29 16:28
512
lean-3.43.0_0.darwin_20.arm64.tbz2
2022-05-29 22:18
5.5M
lean-3.43.0_0.darwin_20.arm64.tbz2.rmd160
2022-05-29 22:18
512
lean-3.43.0_0.darwin_20.x86_64.tbz2
2022-05-29 16:26
5.7M
lean-3.43.0_0.darwin_20.x86_64.tbz2.rmd160
2022-05-29 16:26
512
lean-3.43.0_0.darwin_21.arm64.tbz2
2022-05-29 16:16
5.5M
lean-3.43.0_0.darwin_21.arm64.tbz2.rmd160
2022-05-29 16:16
512
lean-3.43.0_0.darwin_21.x86_64.tbz2
2022-05-29 16:31
5.7M
lean-3.43.0_0.darwin_21.x86_64.tbz2.rmd160
2022-05-29 16:31
512
lean-3.44.1_0.darwin_10.x86_64.tbz2
2022-07-03 00:49
5.9M
lean-3.44.1_0.darwin_10.x86_64.tbz2.rmd160
2022-07-03 00:49
512
lean-3.44.1_0.darwin_12.x86_64.tbz2
2022-07-03 00:02
5.6M
lean-3.44.1_0.darwin_12.x86_64.tbz2.rmd160
2022-07-03 00:02
512
lean-3.44.1_0.darwin_13.x86_64.tbz2
2022-07-02 23:58
5.4M
lean-3.44.1_0.darwin_13.x86_64.tbz2.rmd160
2022-07-02 23:58
512
lean-3.44.1_0.darwin_14.x86_64.tbz2
2022-07-02 23:55
5.4M
lean-3.44.1_0.darwin_14.x86_64.tbz2.rmd160
2022-07-02 23:55
512
lean-3.44.1_0.darwin_15.x86_64.tbz2
2022-07-03 05:59
5.4M
lean-3.44.1_0.darwin_15.x86_64.tbz2.rmd160
2022-07-03 05:59
512
lean-3.44.1_0.darwin_16.x86_64.tbz2
2022-07-02 23:46
5.4M
lean-3.44.1_0.darwin_16.x86_64.tbz2.rmd160
2022-07-02 23:46
512
lean-3.44.1_0.darwin_17.x86_64.tbz2
2022-07-03 00:03
5.4M
lean-3.44.1_0.darwin_17.x86_64.tbz2.rmd160
2022-07-03 00:03
512
lean-3.44.1_0.darwin_18.x86_64.tbz2
2022-07-03 02:07
5.8M
lean-3.44.1_0.darwin_18.x86_64.tbz2.rmd160
2022-07-03 02:07
512
lean-3.44.1_0.darwin_19.x86_64.tbz2
2022-07-03 00:33
5.9M
lean-3.44.1_0.darwin_19.x86_64.tbz2.rmd160
2022-07-03 00:33
512
lean-3.44.1_0.darwin_20.arm64.tbz2
2022-07-03 05:43
5.5M
lean-3.44.1_0.darwin_20.arm64.tbz2.rmd160
2022-07-03 05:43
512
lean-3.44.1_0.darwin_20.x86_64.tbz2
2022-07-03 00:00
5.7M
lean-3.44.1_0.darwin_20.x86_64.tbz2.rmd160
2022-07-03 00:00
512
lean-3.44.1_0.darwin_21.arm64.tbz2
2022-07-02 23:35
5.5M
lean-3.44.1_0.darwin_21.arm64.tbz2.rmd160
2022-07-02 23:35
512
lean-3.44.1_0.darwin_21.x86_64.tbz2
2022-07-02 23:46
5.7M
lean-3.44.1_0.darwin_21.x86_64.tbz2.rmd160
2022-07-02 23:46
512
lean-3.45.0_0.darwin_10.x86_64.tbz2
2022-07-31 00:17
5.9M
lean-3.45.0_0.darwin_10.x86_64.tbz2.rmd160
2022-07-31 00:17
512
lean-3.45.0_0.darwin_12.x86_64.tbz2
2022-07-31 07:39
5.6M
lean-3.45.0_0.darwin_12.x86_64.tbz2.rmd160
2022-07-31 07:39
512
lean-3.45.0_0.darwin_13.x86_64.tbz2
2022-07-31 02:40
5.4M
lean-3.45.0_0.darwin_13.x86_64.tbz2.rmd160
2022-07-31 02:40
512
lean-3.45.0_0.darwin_14.x86_64.tbz2
2022-07-31 06:55
5.4M
lean-3.45.0_0.darwin_14.x86_64.tbz2.rmd160
2022-07-31 06:55
512
lean-3.45.0_0.darwin_15.x86_64.tbz2
2022-07-31 02:42
5.4M
lean-3.45.0_0.darwin_15.x86_64.tbz2.rmd160
2022-07-31 02:42
512
lean-3.45.0_0.darwin_16.x86_64.tbz2
2022-07-30 21:55
5.4M
lean-3.45.0_0.darwin_16.x86_64.tbz2.rmd160
2022-07-30 21:55
512
lean-3.45.0_0.darwin_17.x86_64.tbz2
2022-07-31 07:16
5.4M
lean-3.45.0_0.darwin_17.x86_64.tbz2.rmd160
2022-07-31 07:16
512
lean-3.45.0_0.darwin_18.x86_64.tbz2
2022-07-31 05:00
5.8M
lean-3.45.0_0.darwin_18.x86_64.tbz2.rmd160
2022-07-31 05:00
512
lean-3.45.0_0.darwin_19.x86_64.tbz2
2022-07-31 04:09
5.9M
lean-3.45.0_0.darwin_19.x86_64.tbz2.rmd160
2022-07-31 04:09
512
lean-3.45.0_0.darwin_20.arm64.tbz2
2022-07-31 12:21
5.5M
lean-3.45.0_0.darwin_20.arm64.tbz2.rmd160
2022-07-31 12:21
512
lean-3.45.0_0.darwin_20.x86_64.tbz2
2022-07-30 22:02
5.8M
lean-3.45.0_0.darwin_20.x86_64.tbz2.rmd160
2022-07-30 22:02
512
lean-3.45.0_0.darwin_21.arm64.tbz2
2022-07-30 22:00
5.5M
lean-3.45.0_0.darwin_21.arm64.tbz2.rmd160
2022-07-30 22:00
512
lean-3.45.0_0.darwin_21.x86_64.tbz2
2022-07-31 07:01
5.7M
lean-3.45.0_0.darwin_21.x86_64.tbz2.rmd160
2022-07-31 07:01
512
lean-3.46.0_0.darwin_10.x86_64.tbz2
2022-08-10 00:17
5.9M
lean-3.46.0_0.darwin_10.x86_64.tbz2.rmd160
2022-08-10 00:17
512
lean-3.46.0_0.darwin_12.x86_64.tbz2
2022-08-10 00:14
5.6M
lean-3.46.0_0.darwin_12.x86_64.tbz2.rmd160
2022-08-10 00:14
512
lean-3.46.0_0.darwin_13.x86_64.tbz2
2022-08-10 00:06
5.4M
lean-3.46.0_0.darwin_13.x86_64.tbz2.rmd160
2022-08-10 00:06
512
lean-3.46.0_0.darwin_14.x86_64.tbz2
2022-08-10 00:14
5.4M
lean-3.46.0_0.darwin_14.x86_64.tbz2.rmd160
2022-08-10 00:14
512
lean-3.46.0_0.darwin_15.x86_64.tbz2
2022-08-10 00:06
5.4M
lean-3.46.0_0.darwin_15.x86_64.tbz2.rmd160
2022-08-10 00:06
512
lean-3.46.0_0.darwin_16.x86_64.tbz2
2022-08-09 23:59
5.4M
lean-3.46.0_0.darwin_16.x86_64.tbz2.rmd160
2022-08-09 23:59
512
lean-3.46.0_0.darwin_17.x86_64.tbz2
2022-08-10 00:16
5.4M
lean-3.46.0_0.darwin_17.x86_64.tbz2.rmd160
2022-08-10 00:16
512
lean-3.46.0_0.darwin_18.x86_64.tbz2
2022-08-10 00:02
5.8M
lean-3.46.0_0.darwin_18.x86_64.tbz2.rmd160
2022-08-10 00:02
512
lean-3.46.0_0.darwin_19.x86_64.tbz2
2022-08-10 00:00
5.9M
lean-3.46.0_0.darwin_19.x86_64.tbz2.rmd160
2022-08-10 00:00
512
lean-3.46.0_0.darwin_20.arm64.tbz2
2022-08-10 05:53
5.5M
lean-3.46.0_0.darwin_20.arm64.tbz2.rmd160
2022-08-10 05:53
512
lean-3.46.0_0.darwin_20.x86_64.tbz2
2022-08-09 23:56
5.8M
lean-3.46.0_0.darwin_20.x86_64.tbz2.rmd160
2022-08-09 23:56
512
lean-3.46.0_0.darwin_21.arm64.tbz2
2022-08-09 23:48
5.5M
lean-3.46.0_0.darwin_21.arm64.tbz2.rmd160
2022-08-09 23:48
512
lean-3.46.0_0.darwin_21.x86_64.tbz2
2022-08-10 02:34
5.7M
lean-3.46.0_0.darwin_21.x86_64.tbz2.rmd160
2022-08-10 02:34
512
lean-3.47.0_0.darwin_10.x86_64.tbz2
2022-08-29 12:34
6.0M
lean-3.47.0_0.darwin_10.x86_64.tbz2.rmd160
2022-08-29 12:34
512
lean-3.47.0_0.darwin_12.x86_64.tbz2
2022-08-29 12:34
5.6M
lean-3.47.0_0.darwin_12.x86_64.tbz2.rmd160
2022-08-29 12:34
512
lean-3.47.0_0.darwin_13.x86_64.tbz2
2022-08-29 12:19
5.5M
lean-3.47.0_0.darwin_13.x86_64.tbz2.rmd160
2022-08-29 12:19
512
lean-3.47.0_0.darwin_14.x86_64.tbz2
2022-08-29 12:34
5.5M
lean-3.47.0_0.darwin_14.x86_64.tbz2.rmd160
2022-08-29 12:34
512
lean-3.47.0_0.darwin_15.x86_64.tbz2
2022-08-29 12:29
5.5M
lean-3.47.0_0.darwin_15.x86_64.tbz2.rmd160
2022-08-29 12:29
512
lean-3.47.0_0.darwin_16.x86_64.tbz2
2022-08-29 12:37
5.4M
lean-3.47.0_0.darwin_16.x86_64.tbz2.rmd160
2022-08-29 12:37
512
lean-3.47.0_0.darwin_17.x86_64.tbz2
2022-08-29 13:46
5.4M
lean-3.47.0_0.darwin_17.x86_64.tbz2.rmd160
2022-08-29 13:46
512
lean-3.47.0_0.darwin_18.x86_64.tbz2
2022-08-29 12:55
5.8M
lean-3.47.0_0.darwin_18.x86_64.tbz2.rmd160
2022-08-29 12:55
512
lean-3.47.0_0.darwin_19.x86_64.tbz2
2022-08-29 12:26
5.9M
lean-3.47.0_0.darwin_19.x86_64.tbz2.rmd160
2022-08-29 12:26
512
lean-3.47.0_0.darwin_20.arm64.tbz2
2022-08-29 12:05
5.5M
lean-3.47.0_0.darwin_20.arm64.tbz2.rmd160
2022-08-29 12:05
512
lean-3.47.0_0.darwin_20.x86_64.tbz2
2022-08-29 12:20
5.8M
lean-3.47.0_0.darwin_20.x86_64.tbz2.rmd160
2022-08-29 12:20
512
lean-3.47.0_0.darwin_21.arm64.tbz2
2022-08-30 13:04
5.5M
lean-3.47.0_0.darwin_21.arm64.tbz2.rmd160
2022-08-30 13:04
512
lean-3.47.0_0.darwin_21.x86_64.tbz2
2022-08-29 12:46
5.8M
lean-3.47.0_0.darwin_21.x86_64.tbz2.rmd160
2022-08-29 12:46
512
lean-3.48.0_0.darwin_10.x86_64.tbz2
2022-09-07 13:29
6.0M
lean-3.48.0_0.darwin_10.x86_64.tbz2.rmd160
2022-09-07 13:29
512
lean-3.48.0_0.darwin_12.x86_64.tbz2
2022-09-07 13:30
5.6M
lean-3.48.0_0.darwin_12.x86_64.tbz2.rmd160
2022-09-07 13:30
512
lean-3.48.0_0.darwin_13.x86_64.tbz2
2022-09-07 13:23
5.5M
lean-3.48.0_0.darwin_13.x86_64.tbz2.rmd160
2022-09-07 13:23
512
lean-3.48.0_0.darwin_14.x86_64.tbz2
2022-09-07 13:29
5.5M
lean-3.48.0_0.darwin_14.x86_64.tbz2.rmd160
2022-09-07 13:29
512
lean-3.48.0_0.darwin_15.x86_64.tbz2
2022-09-07 13:24
5.5M
lean-3.48.0_0.darwin_15.x86_64.tbz2.rmd160
2022-09-07 13:24
512
lean-3.48.0_0.darwin_16.x86_64.tbz2
2022-09-07 13:18
5.4M
lean-3.48.0_0.darwin_16.x86_64.tbz2.rmd160
2022-09-07 13:18
512
lean-3.48.0_0.darwin_17.x86_64.tbz2
2022-09-07 13:31
5.4M
lean-3.48.0_0.darwin_17.x86_64.tbz2.rmd160
2022-09-07 13:31
512
lean-3.48.0_0.darwin_18.x86_64.tbz2
2022-09-07 13:18
5.8M
lean-3.48.0_0.darwin_18.x86_64.tbz2.rmd160
2022-09-07 13:18
512
lean-3.48.0_0.darwin_19.x86_64.tbz2
2022-09-07 13:18
5.9M
lean-3.48.0_0.darwin_19.x86_64.tbz2.rmd160
2022-09-07 13:18
512
lean-3.48.0_0.darwin_20.arm64.tbz2
2022-09-07 13:06
5.5M
lean-3.48.0_0.darwin_20.arm64.tbz2.rmd160
2022-09-07 13:06
512
lean-3.48.0_0.darwin_20.x86_64.tbz2
2022-09-07 13:16
5.8M
lean-3.48.0_0.darwin_20.x86_64.tbz2.rmd160
2022-09-07 13:16
512
lean-3.48.0_0.darwin_21.arm64.tbz2
2022-09-08 03:23
5.5M
lean-3.48.0_0.darwin_21.arm64.tbz2.rmd160
2022-09-08 03:23
512
lean-3.48.0_0.darwin_21.x86_64.tbz2
2022-09-07 13:22
5.8M
lean-3.48.0_0.darwin_21.x86_64.tbz2.rmd160
2022-09-07 13:22
512
lean-3.49.1_0.darwin_10.x86_64.tbz2
2022-11-24 22:16
6.0M
lean-3.49.1_0.darwin_10.x86_64.tbz2.rmd160
2022-11-24 22:16
512
lean-3.49.1_0.darwin_14.x86_64.tbz2
2022-11-24 22:18
5.5M
lean-3.49.1_0.darwin_14.x86_64.tbz2.rmd160
2022-11-24 22:18
512
lean-3.49.1_0.darwin_15.x86_64.tbz2
2022-11-24 22:18
5.5M
lean-3.49.1_0.darwin_15.x86_64.tbz2.rmd160
2022-11-24 22:18
512
lean-3.49.1_0.darwin_16.x86_64.tbz2
2022-11-24 22:16
5.4M
lean-3.49.1_0.darwin_16.x86_64.tbz2.rmd160
2022-11-24 22:16
512
lean-3.49.1_0.darwin_17.x86_64.tbz2
2022-11-24 22:20
5.4M
lean-3.49.1_0.darwin_17.x86_64.tbz2.rmd160
2022-11-24 22:20
512
lean-3.49.1_0.darwin_18.x86_64.tbz2
2022-11-24 22:17
5.8M
lean-3.49.1_0.darwin_18.x86_64.tbz2.rmd160
2022-11-24 22:17
512
lean-3.49.1_0.darwin_19.x86_64.tbz2
2022-11-24 22:11
5.9M
lean-3.49.1_0.darwin_19.x86_64.tbz2.rmd160
2022-11-24 22:11
512
lean-3.49.1_0.darwin_20.arm64.tbz2
2022-11-24 22:02
5.5M
lean-3.49.1_0.darwin_20.arm64.tbz2.rmd160
2022-11-24 22:02
512
lean-3.49.1_0.darwin_20.x86_64.tbz2
2022-11-24 22:14
5.8M
lean-3.49.1_0.darwin_20.x86_64.tbz2.rmd160
2022-11-24 22:14
512
lean-3.49.1_0.darwin_21.arm64.tbz2
2022-11-25 09:28
5.5M
lean-3.49.1_0.darwin_21.arm64.tbz2.rmd160
2022-11-25 09:28
512
lean-3.49.1_0.darwin_21.x86_64.tbz2
2022-11-24 22:12
5.8M
lean-3.49.1_0.darwin_21.x86_64.tbz2.rmd160
2022-11-24 22:12
512
lean-3.50.0_0.darwin_10.x86_64.tbz2
2022-12-20 10:58
6.0M
lean-3.50.0_0.darwin_10.x86_64.tbz2.rmd160
2022-12-20 10:58
512
lean-3.50.0_0.darwin_12.x86_64.tbz2
2022-12-20 10:59
5.7M
lean-3.50.0_0.darwin_12.x86_64.tbz2.rmd160
2022-12-20 10:59
512
lean-3.50.0_0.darwin_13.x86_64.tbz2
2022-12-20 10:56
5.5M
lean-3.50.0_0.darwin_13.x86_64.tbz2.rmd160
2022-12-20 10:56
512
lean-3.50.0_0.darwin_14.x86_64.tbz2
2022-12-20 10:58
5.5M
lean-3.50.0_0.darwin_14.x86_64.tbz2.rmd160
2022-12-20 10:58
512
lean-3.50.0_0.darwin_15.x86_64.tbz2
2022-12-20 10:58
5.5M
lean-3.50.0_0.darwin_15.x86_64.tbz2.rmd160
2022-12-20 10:58
512
lean-3.50.0_0.darwin_16.x86_64.tbz2
2022-12-20 10:46
5.4M
lean-3.50.0_0.darwin_16.x86_64.tbz2.rmd160
2022-12-20 10:46
512
lean-3.50.0_0.darwin_17.x86_64.tbz2
2022-12-20 10:59
5.4M
lean-3.50.0_0.darwin_17.x86_64.tbz2.rmd160
2022-12-20 10:59
512
lean-3.50.0_0.darwin_18.x86_64.tbz2
2022-12-20 10:47
5.8M
lean-3.50.0_0.darwin_18.x86_64.tbz2.rmd160
2022-12-20 10:47
512
lean-3.50.0_0.darwin_19.x86_64.tbz2
2022-12-20 10:49
5.9M
lean-3.50.0_0.darwin_19.x86_64.tbz2.rmd160
2022-12-20 10:49
512
lean-3.50.0_0.darwin_20.arm64.tbz2
2022-12-20 17:44
5.5M
lean-3.50.0_0.darwin_20.arm64.tbz2.rmd160
2022-12-20 17:44
512
lean-3.50.0_0.darwin_20.x86_64.tbz2
2022-12-20 10:44
5.8M
lean-3.50.0_0.darwin_20.x86_64.tbz2.rmd160
2022-12-20 10:44
512
lean-3.50.0_0.darwin_21.arm64.tbz2
2022-12-20 10:34
5.5M
lean-3.50.0_0.darwin_21.arm64.tbz2.rmd160
2022-12-20 10:34
512
lean-3.50.0_0.darwin_21.x86_64.tbz2
2022-12-20 10:54
5.8M
lean-3.50.0_0.darwin_21.x86_64.tbz2.rmd160
2022-12-20 10:54
512
lean-3.50.0_0.darwin_22.x86_64.tbz2
2022-12-20 20:42
5.8M
lean-3.50.0_0.darwin_22.x86_64.tbz2.rmd160
2022-12-20 20:42
512
lean-3.50.2_0.darwin_10.x86_64.tbz2
2022-12-26 20:58
6.0M
lean-3.50.2_0.darwin_10.x86_64.tbz2.rmd160
2022-12-26 20:58
512
lean-3.50.2_0.darwin_12.x86_64.tbz2
2022-12-26 21:05
5.6M
lean-3.50.2_0.darwin_12.x86_64.tbz2.rmd160
2022-12-26 21:05
512
lean-3.50.2_0.darwin_13.x86_64.tbz2
2022-12-27 05:56
5.5M
lean-3.50.2_0.darwin_13.x86_64.tbz2.rmd160
2022-12-27 05:56
512
lean-3.50.2_0.darwin_14.x86_64.tbz2
2022-12-26 21:07
5.5M
lean-3.50.2_0.darwin_14.x86_64.tbz2.rmd160
2022-12-26 21:07
512
lean-3.50.2_0.darwin_15.x86_64.tbz2
2022-12-26 21:05
5.5M
lean-3.50.2_0.darwin_15.x86_64.tbz2.rmd160
2022-12-26 21:05
512
lean-3.50.2_0.darwin_16.x86_64.tbz2
2022-12-26 20:53
5.4M
lean-3.50.2_0.darwin_16.x86_64.tbz2.rmd160
2022-12-26 20:53
512
lean-3.50.2_0.darwin_17.x86_64.tbz2
2022-12-26 21:12
5.4M
lean-3.50.2_0.darwin_17.x86_64.tbz2.rmd160
2022-12-26 21:12
512
lean-3.50.2_0.darwin_18.x86_64.tbz2
2022-12-27 02:10
5.8M
lean-3.50.2_0.darwin_18.x86_64.tbz2.rmd160
2022-12-27 02:10
512
lean-3.50.2_0.darwin_19.x86_64.tbz2
2022-12-26 21:03
5.9M
lean-3.50.2_0.darwin_19.x86_64.tbz2.rmd160
2022-12-26 21:03
512
lean-3.50.2_0.darwin_20.arm64.tbz2
2022-12-26 20:38
5.5M
lean-3.50.2_0.darwin_20.arm64.tbz2.rmd160
2022-12-26 20:38
512
lean-3.50.2_0.darwin_20.x86_64.tbz2
2022-12-26 20:59
5.8M
lean-3.50.2_0.darwin_20.x86_64.tbz2.rmd160
2022-12-26 20:59
512
lean-3.50.2_0.darwin_21.arm64.tbz2
2022-12-27 05:44
5.5M
lean-3.50.2_0.darwin_21.arm64.tbz2.rmd160
2022-12-27 05:44
512
lean-3.50.2_0.darwin_21.x86_64.tbz2
2022-12-27 01:14
5.8M
lean-3.50.2_0.darwin_21.x86_64.tbz2.rmd160
2022-12-27 01:14
512
lean-3.50.2_0.darwin_22.x86_64.tbz2
2022-12-26 22:39
5.8M
lean-3.50.2_0.darwin_22.x86_64.tbz2.rmd160
2022-12-26 22:39
512
lean-3.50.3_0.darwin_10.x86_64.tbz2
2023-01-13 16:06
6.0M
lean-3.50.3_0.darwin_10.x86_64.tbz2.rmd160
2023-01-13 16:06
512
lean-3.50.3_0.darwin_12.x86_64.tbz2
2023-01-13 16:32
5.6M
lean-3.50.3_0.darwin_12.x86_64.tbz2.rmd160
2023-01-13 16:32
512
lean-3.50.3_0.darwin_13.x86_64.tbz2
2023-01-13 15:51
5.5M
lean-3.50.3_0.darwin_13.x86_64.tbz2.rmd160
2023-01-13 15:51
512
lean-3.50.3_0.darwin_14.x86_64.tbz2
2023-01-13 19:01
5.5M
lean-3.50.3_0.darwin_14.x86_64.tbz2.rmd160
2023-01-13 19:01
512
lean-3.50.3_0.darwin_15.x86_64.tbz2
2023-01-13 16:04
5.5M
lean-3.50.3_0.darwin_15.x86_64.tbz2.rmd160
2023-01-13 16:04
512
lean-3.50.3_0.darwin_16.x86_64.tbz2
2023-01-13 15:49
5.4M
lean-3.50.3_0.darwin_16.x86_64.tbz2.rmd160
2023-01-13 15:49
512
lean-3.50.3_0.darwin_17.x86_64.tbz2
2023-01-13 16:17
5.4M
lean-3.50.3_0.darwin_17.x86_64.tbz2.rmd160
2023-01-13 16:17
512
lean-3.50.3_0.darwin_18.x86_64.tbz2
2023-01-13 16:18
5.8M
lean-3.50.3_0.darwin_18.x86_64.tbz2.rmd160
2023-01-13 16:18
512
lean-3.50.3_0.darwin_19.x86_64.tbz2
2023-01-13 15:54
5.9M
lean-3.50.3_0.darwin_19.x86_64.tbz2.rmd160
2023-01-13 15:54
512
lean-3.50.3_0.darwin_20.arm64.tbz2
2023-01-13 15:33
5.5M
lean-3.50.3_0.darwin_20.arm64.tbz2.rmd160
2023-01-13 15:33
512
lean-3.50.3_0.darwin_20.x86_64.tbz2
2023-01-13 15:46
5.8M
lean-3.50.3_0.darwin_20.x86_64.tbz2.rmd160
2023-01-13 15:46
512
lean-3.50.3_0.darwin_21.arm64.tbz2
2023-01-13 17:12
5.5M
lean-3.50.3_0.darwin_21.arm64.tbz2.rmd160
2023-01-13 17:12
512
lean-3.50.3_0.darwin_21.x86_64.tbz2
2023-01-13 17:11
5.8M
lean-3.50.3_0.darwin_21.x86_64.tbz2.rmd160
2023-01-13 17:11
512
lean-3.50.3_0.darwin_22.x86_64.tbz2
2023-01-13 16:35
5.8M
lean-3.50.3_0.darwin_22.x86_64.tbz2.rmd160
2023-01-13 16:35
512
Apache/2.4.43 (Unix) OpenSSL/1.0.2zd Server at kmq.jp.packages.macports.org Port 443