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