Index of /lean
Name
Last modified
Size
Parent Directory
-
lean-3.35.1_0.darwin_10.x86_64.tbz2
2021-11-14 10:12
6.0M
lean-3.35.1_0.darwin_10.x86_64.tbz2.rmd160
2021-11-14 10:12
512
lean-3.35.1_0.darwin_11.x86_64.tbz2
2021-11-14 04:51
5.8M
lean-3.35.1_0.darwin_11.x86_64.tbz2.rmd160
2021-11-14 04:51
512
lean-3.35.1_0.darwin_12.x86_64.tbz2
2021-11-14 20:26
5.8M
lean-3.35.1_0.darwin_12.x86_64.tbz2.rmd160
2021-11-14 20:26
512
lean-3.35.1_0.darwin_13.x86_64.tbz2
2021-11-14 05:04
5.7M
lean-3.35.1_0.darwin_13.x86_64.tbz2.rmd160
2021-11-14 05:04
512
lean-3.35.1_0.darwin_14.x86_64.tbz2
2021-11-14 08:16
5.7M
lean-3.35.1_0.darwin_14.x86_64.tbz2.rmd160
2021-11-14 08:16
512
lean-3.35.1_0.darwin_15.x86_64.tbz2
2021-11-15 13:06
5.7M
lean-3.35.1_0.darwin_15.x86_64.tbz2.rmd160
2021-11-15 13:06
512
lean-3.35.1_0.darwin_16.x86_64.tbz2
2021-11-14 16:28
5.7M
lean-3.35.1_0.darwin_16.x86_64.tbz2.rmd160
2021-11-14 16:28
512
lean-3.35.1_0.darwin_17.x86_64.tbz2
2021-11-15 09:57
5.7M
lean-3.35.1_0.darwin_17.x86_64.tbz2.rmd160
2021-11-15 09:57
512
lean-3.35.1_0.darwin_18.x86_64.tbz2
2021-11-16 05:57
5.7M
lean-3.35.1_0.darwin_18.x86_64.tbz2.rmd160
2021-11-16 05:57
512
lean-3.35.1_0.darwin_19.x86_64.tbz2
2021-11-15 23:45
5.7M
lean-3.35.1_0.darwin_19.x86_64.tbz2.rmd160
2021-11-15 23:45
512
lean-3.35.1_0.darwin_20.arm64.tbz2
2021-11-14 09:30
5.4M
lean-3.35.1_0.darwin_20.arm64.tbz2.rmd160
2021-11-14 09:30
512
lean-3.35.1_0.darwin_20.x86_64.tbz2
2021-11-15 18:53
5.7M
lean-3.35.1_0.darwin_20.x86_64.tbz2.rmd160
2021-11-15 18:53
512
lean-3.35.1_0.darwin_21.arm64.tbz2
2021-11-14 10:44
5.4M
lean-3.35.1_0.darwin_21.arm64.tbz2.rmd160
2021-11-14 10:44
512
lean-3.35.1_0.darwin_21.x86_64.tbz2
2021-12-03 11:50
5.7M
lean-3.35.1_0.darwin_21.x86_64.tbz2.rmd160
2021-12-03 11:50
512
lean-3.38.0_0.darwin_10.x86_64.tbz2
2022-01-26 01:24
5.9M
lean-3.38.0_0.darwin_10.x86_64.tbz2.rmd160
2022-01-26 01:24
512
lean-3.38.0_0.darwin_12.x86_64.tbz2
2022-01-26 00:43
5.8M
lean-3.38.0_0.darwin_12.x86_64.tbz2.rmd160
2022-01-26 00:43
512
lean-3.38.0_0.darwin_13.x86_64.tbz2
2022-01-25 23:53
5.6M
lean-3.38.0_0.darwin_13.x86_64.tbz2.rmd160
2022-01-25 23:53
512
lean-3.38.0_0.darwin_14.x86_64.tbz2
2022-01-26 00:02
5.6M
lean-3.38.0_0.darwin_14.x86_64.tbz2.rmd160
2022-01-26 00:02
512
lean-3.38.0_0.darwin_15.x86_64.tbz2
2022-01-25 23:54
5.6M
lean-3.38.0_0.darwin_15.x86_64.tbz2.rmd160
2022-01-25 23:54
512
lean-3.38.0_0.darwin_16.x86_64.tbz2
2022-01-25 23:48
5.6M
lean-3.38.0_0.darwin_16.x86_64.tbz2.rmd160
2022-01-25 23:48
512
lean-3.38.0_0.darwin_17.x86_64.tbz2
2022-01-26 00:07
5.6M
lean-3.38.0_0.darwin_17.x86_64.tbz2.rmd160
2022-01-26 00:07
512
lean-3.38.0_0.darwin_18.x86_64.tbz2
2022-01-25 23:50
5.7M
lean-3.38.0_0.darwin_18.x86_64.tbz2.rmd160
2022-01-25 23:50
512
lean-3.38.0_0.darwin_19.x86_64.tbz2
2022-01-25 23:48
5.7M
lean-3.38.0_0.darwin_19.x86_64.tbz2.rmd160
2022-01-25 23:48
512
lean-3.38.0_0.darwin_20.arm64.tbz2
2022-01-25 23:37
5.4M
lean-3.38.0_0.darwin_20.arm64.tbz2.rmd160
2022-01-25 23:37
512
lean-3.38.0_0.darwin_20.x86_64.tbz2
2022-01-25 23:45
5.7M
lean-3.38.0_0.darwin_20.x86_64.tbz2.rmd160
2022-01-25 23:45
512
lean-3.38.0_0.darwin_21.arm64.tbz2
2022-01-26 01:27
5.4M
lean-3.38.0_0.darwin_21.arm64.tbz2.rmd160
2022-01-26 01:27
512
lean-3.38.0_0.darwin_21.x86_64.tbz2
2022-01-26 03:20
5.7M
lean-3.38.0_0.darwin_21.x86_64.tbz2.rmd160
2022-01-26 03:20
512
lean-3.39.1_0.darwin_10.x86_64.tbz2
2022-02-15 23:42
5.9M
lean-3.39.1_0.darwin_10.x86_64.tbz2.rmd160
2022-02-15 23:42
512
lean-3.39.1_0.darwin_12.x86_64.tbz2
2022-02-15 23:45
5.8M
lean-3.39.1_0.darwin_12.x86_64.tbz2.rmd160
2022-02-15 23:45
512
lean-3.39.1_0.darwin_13.x86_64.tbz2
2022-02-15 23:39
5.6M
lean-3.39.1_0.darwin_13.x86_64.tbz2.rmd160
2022-02-15 23:39
512
lean-3.39.1_0.darwin_14.x86_64.tbz2
2022-02-15 23:44
5.6M
lean-3.39.1_0.darwin_14.x86_64.tbz2.rmd160
2022-02-15 23:44
512
lean-3.39.1_0.darwin_15.x86_64.tbz2
2022-02-15 23:39
5.6M
lean-3.39.1_0.darwin_15.x86_64.tbz2.rmd160
2022-02-15 23:39
512
lean-3.39.1_0.darwin_16.x86_64.tbz2
2022-02-15 23:32
5.6M
lean-3.39.1_0.darwin_16.x86_64.tbz2.rmd160
2022-02-15 23:32
512
lean-3.39.1_0.darwin_17.x86_64.tbz2
2022-02-15 23:45
5.6M
lean-3.39.1_0.darwin_17.x86_64.tbz2.rmd160
2022-02-15 23:45
512
lean-3.39.1_0.darwin_18.x86_64.tbz2
2022-02-15 23:33
5.7M
lean-3.39.1_0.darwin_18.x86_64.tbz2.rmd160
2022-02-15 23:33
512
lean-3.39.1_0.darwin_19.x86_64.tbz2
2022-02-15 23:33
5.8M
lean-3.39.1_0.darwin_19.x86_64.tbz2.rmd160
2022-02-15 23:33
512
lean-3.39.1_0.darwin_20.arm64.tbz2
2022-02-15 23:21
5.4M
lean-3.39.1_0.darwin_20.arm64.tbz2.rmd160
2022-02-15 23:21
512
lean-3.39.1_0.darwin_20.x86_64.tbz2
2022-02-15 23:32
5.7M
lean-3.39.1_0.darwin_20.x86_64.tbz2.rmd160
2022-02-15 23:32
512
lean-3.39.1_0.darwin_21.arm64.tbz2
2022-02-16 09:44
5.4M
lean-3.39.1_0.darwin_21.arm64.tbz2.rmd160
2022-02-16 09:44
512
lean-3.39.1_0.darwin_21.x86_64.tbz2
2022-02-15 23:39
5.7M
lean-3.39.1_0.darwin_21.x86_64.tbz2.rmd160
2022-02-15 23:39
512
lean-3.42.0_0.darwin_10.x86_64.tbz2
2022-03-20 22:29
5.9M
lean-3.42.0_0.darwin_10.x86_64.tbz2.rmd160
2022-03-20 22:29
512
lean-3.42.0_0.darwin_12.x86_64.tbz2
2022-03-20 22:30
5.6M
lean-3.42.0_0.darwin_12.x86_64.tbz2.rmd160
2022-03-20 22:30
512
lean-3.42.0_0.darwin_13.x86_64.tbz2
2022-03-20 22:21
5.4M
lean-3.42.0_0.darwin_13.x86_64.tbz2.rmd160
2022-03-20 22:21
512
lean-3.42.0_0.darwin_14.x86_64.tbz2
2022-03-20 22:26
5.4M
lean-3.42.0_0.darwin_14.x86_64.tbz2.rmd160
2022-03-20 22:26
512
lean-3.42.0_0.darwin_15.x86_64.tbz2
2022-03-20 22:25
5.4M
lean-3.42.0_0.darwin_15.x86_64.tbz2.rmd160
2022-03-20 22:25
512
lean-3.42.0_0.darwin_16.x86_64.tbz2
2022-03-20 22:16
5.4M
lean-3.42.0_0.darwin_16.x86_64.tbz2.rmd160
2022-03-20 22:16
512
lean-3.42.0_0.darwin_17.x86_64.tbz2
2022-03-20 22:31
5.4M
lean-3.42.0_0.darwin_17.x86_64.tbz2.rmd160
2022-03-20 22:31
512
lean-3.42.0_0.darwin_18.x86_64.tbz2
2022-03-20 22:19
5.8M
lean-3.42.0_0.darwin_18.x86_64.tbz2.rmd160
2022-03-20 22:19
512
lean-3.42.0_0.darwin_19.x86_64.tbz2
2022-03-20 23:46
5.9M
lean-3.42.0_0.darwin_19.x86_64.tbz2.rmd160
2022-03-20 23:46
512
lean-3.42.0_0.darwin_20.arm64.tbz2
2022-03-21 06:20
5.5M
lean-3.42.0_0.darwin_20.arm64.tbz2.rmd160
2022-03-21 06:20
512
lean-3.42.0_0.darwin_20.x86_64.tbz2
2022-03-20 23:45
5.7M
lean-3.42.0_0.darwin_20.x86_64.tbz2.rmd160
2022-03-20 23:45
512
lean-3.42.0_0.darwin_21.arm64.tbz2
2022-03-20 22:09
5.5M
lean-3.42.0_0.darwin_21.arm64.tbz2.rmd160
2022-03-20 22:09
512
lean-3.42.0_0.darwin_21.x86_64.tbz2
2022-03-20 22:31
5.7M
lean-3.42.0_0.darwin_21.x86_64.tbz2.rmd160
2022-03-20 22:31
512
lean-3.42.1_0.darwin_10.x86_64.tbz2
2022-04-04 23:54
5.9M
lean-3.42.1_0.darwin_10.x86_64.tbz2.rmd160
2022-04-04 23:54
512
lean-3.42.1_0.darwin_12.x86_64.tbz2
2022-04-04 23:59
5.6M
lean-3.42.1_0.darwin_12.x86_64.tbz2.rmd160
2022-04-04 23:59
512
lean-3.42.1_0.darwin_13.x86_64.tbz2
2022-04-05 01:30
5.4M
lean-3.42.1_0.darwin_13.x86_64.tbz2.rmd160
2022-04-05 01:30
512
lean-3.42.1_0.darwin_14.x86_64.tbz2
2022-04-05 01:17
5.4M
lean-3.42.1_0.darwin_14.x86_64.tbz2.rmd160
2022-04-05 01:17
512
lean-3.42.1_0.darwin_15.x86_64.tbz2
2022-04-05 01:34
5.4M
lean-3.42.1_0.darwin_15.x86_64.tbz2.rmd160
2022-04-05 01:34
512
lean-3.42.1_0.darwin_16.x86_64.tbz2
2022-04-05 01:21
5.4M
lean-3.42.1_0.darwin_16.x86_64.tbz2.rmd160
2022-04-05 01:21
512
lean-3.42.1_0.darwin_17.x86_64.tbz2
2022-04-05 01:25
5.4M
lean-3.42.1_0.darwin_17.x86_64.tbz2.rmd160
2022-04-05 01:25
512
lean-3.42.1_0.darwin_18.x86_64.tbz2
2022-04-05 01:26
5.8M
lean-3.42.1_0.darwin_18.x86_64.tbz2.rmd160
2022-04-05 01:26
512
lean-3.42.1_0.darwin_19.x86_64.tbz2
2022-04-05 01:43
5.9M
lean-3.42.1_0.darwin_19.x86_64.tbz2.rmd160
2022-04-05 01:43
512
lean-3.42.1_0.darwin_20.arm64.tbz2
2022-04-05 09:13
5.5M
lean-3.42.1_0.darwin_20.arm64.tbz2.rmd160
2022-04-05 09:13
512
lean-3.42.1_0.darwin_20.x86_64.tbz2
2022-04-05 01:37
5.8M
lean-3.42.1_0.darwin_20.x86_64.tbz2.rmd160
2022-04-05 01:37
512
lean-3.42.1_0.darwin_21.arm64.tbz2
2022-04-05 00:06
5.5M
lean-3.42.1_0.darwin_21.arm64.tbz2.rmd160
2022-04-05 00:06
512
lean-3.42.1_0.darwin_21.x86_64.tbz2
2022-04-05 01:24
5.7M
lean-3.42.1_0.darwin_21.x86_64.tbz2.rmd160
2022-04-05 01:24
512
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
Apache/2.4.43 (Unix) OpenSSL/1.0.2zd Server at kmq.jp.packages.macports.org Port 443