Index of /macports/packages/lean
Name
Last modified
Size
Description
Parent Directory
-
lean-3.35.1_0.darwin_10.x86_64.tbz2
2021-11-14 01:12
6.0M
lean-3.35.1_0.darwin_10.x86_64.tbz2.rmd160
2021-11-14 01:12
512
lean-3.35.1_0.darwin_11.x86_64.tbz2
2021-11-13 19:51
5.8M
lean-3.35.1_0.darwin_11.x86_64.tbz2.rmd160
2021-11-13 19:51
512
lean-3.35.1_0.darwin_12.x86_64.tbz2
2021-11-14 11:26
5.8M
lean-3.35.1_0.darwin_12.x86_64.tbz2.rmd160
2021-11-14 11:26
512
lean-3.35.1_0.darwin_13.x86_64.tbz2
2021-11-13 20:04
5.7M
lean-3.35.1_0.darwin_13.x86_64.tbz2.rmd160
2021-11-13 20:04
512
lean-3.35.1_0.darwin_14.x86_64.tbz2
2021-11-13 23:16
5.7M
lean-3.35.1_0.darwin_14.x86_64.tbz2.rmd160
2021-11-13 23:16
512
lean-3.35.1_0.darwin_15.x86_64.tbz2
2021-11-15 04:06
5.7M
lean-3.35.1_0.darwin_15.x86_64.tbz2.rmd160
2021-11-15 04:06
512
lean-3.35.1_0.darwin_16.x86_64.tbz2
2021-11-14 07:28
5.7M
lean-3.35.1_0.darwin_16.x86_64.tbz2.rmd160
2021-11-14 07:28
512
lean-3.35.1_0.darwin_17.x86_64.tbz2
2021-11-15 00:57
5.7M
lean-3.35.1_0.darwin_17.x86_64.tbz2.rmd160
2021-11-15 00:57
512
lean-3.35.1_0.darwin_18.x86_64.tbz2
2021-11-15 20:57
5.7M
lean-3.35.1_0.darwin_18.x86_64.tbz2.rmd160
2021-11-15 20:57
512
lean-3.35.1_0.darwin_19.x86_64.tbz2
2021-11-15 14:45
5.7M
lean-3.35.1_0.darwin_19.x86_64.tbz2.rmd160
2021-11-15 14:45
512
lean-3.35.1_0.darwin_20.arm64.tbz2
2021-11-14 00:30
5.4M
lean-3.35.1_0.darwin_20.arm64.tbz2.rmd160
2021-11-14 00:30
512
lean-3.35.1_0.darwin_20.x86_64.tbz2
2021-11-15 09:53
5.7M
lean-3.35.1_0.darwin_20.x86_64.tbz2.rmd160
2021-11-15 09:53
512
lean-3.35.1_0.darwin_21.arm64.tbz2
2021-11-14 01:44
5.4M
lean-3.35.1_0.darwin_21.arm64.tbz2.rmd160
2021-11-14 01:44
512
lean-3.35.1_0.darwin_21.x86_64.tbz2
2021-12-03 02:50
5.7M
lean-3.35.1_0.darwin_21.x86_64.tbz2.rmd160
2021-12-03 02:50
512
lean-3.38.0_0.darwin_10.x86_64.tbz2
2022-01-25 16:24
5.9M
lean-3.38.0_0.darwin_10.x86_64.tbz2.rmd160
2022-01-25 16:24
512
lean-3.38.0_0.darwin_12.x86_64.tbz2
2022-01-25 15:43
5.8M
lean-3.38.0_0.darwin_12.x86_64.tbz2.rmd160
2022-01-25 15:43
512
lean-3.38.0_0.darwin_13.x86_64.tbz2
2022-01-25 14:53
5.6M
lean-3.38.0_0.darwin_13.x86_64.tbz2.rmd160
2022-01-25 14:53
512
lean-3.38.0_0.darwin_14.x86_64.tbz2
2022-01-25 15:02
5.6M
lean-3.38.0_0.darwin_14.x86_64.tbz2.rmd160
2022-01-25 15:02
512
lean-3.38.0_0.darwin_15.x86_64.tbz2
2022-01-25 14:54
5.6M
lean-3.38.0_0.darwin_15.x86_64.tbz2.rmd160
2022-01-25 14:54
512
lean-3.38.0_0.darwin_16.x86_64.tbz2
2022-01-25 14:48
5.6M
lean-3.38.0_0.darwin_16.x86_64.tbz2.rmd160
2022-01-25 14:48
512
lean-3.38.0_0.darwin_17.x86_64.tbz2
2022-01-25 15:07
5.6M
lean-3.38.0_0.darwin_17.x86_64.tbz2.rmd160
2022-01-25 15:07
512
lean-3.38.0_0.darwin_18.x86_64.tbz2
2022-01-25 14:50
5.7M
lean-3.38.0_0.darwin_18.x86_64.tbz2.rmd160
2022-01-25 14:50
512
lean-3.38.0_0.darwin_19.x86_64.tbz2
2022-01-25 14:48
5.7M
lean-3.38.0_0.darwin_19.x86_64.tbz2.rmd160
2022-01-25 14:48
512
lean-3.38.0_0.darwin_20.arm64.tbz2
2022-01-25 14:37
5.4M
lean-3.38.0_0.darwin_20.arm64.tbz2.rmd160
2022-01-25 14:37
512
lean-3.38.0_0.darwin_20.x86_64.tbz2
2022-01-25 14:45
5.7M
lean-3.38.0_0.darwin_20.x86_64.tbz2.rmd160
2022-01-25 14:45
512
lean-3.38.0_0.darwin_21.arm64.tbz2
2022-01-25 16:27
5.4M
lean-3.38.0_0.darwin_21.arm64.tbz2.rmd160
2022-01-25 16:27
512
lean-3.38.0_0.darwin_21.x86_64.tbz2
2022-01-25 18:20
5.7M
lean-3.38.0_0.darwin_21.x86_64.tbz2.rmd160
2022-01-25 18:20
512
lean-3.39.1_0.darwin_10.x86_64.tbz2
2022-02-15 14:42
5.9M
lean-3.39.1_0.darwin_10.x86_64.tbz2.rmd160
2022-02-15 14:42
512
lean-3.39.1_0.darwin_12.x86_64.tbz2
2022-02-15 14:45
5.8M
lean-3.39.1_0.darwin_12.x86_64.tbz2.rmd160
2022-02-15 14:45
512
lean-3.39.1_0.darwin_13.x86_64.tbz2
2022-02-15 14:39
5.6M
lean-3.39.1_0.darwin_13.x86_64.tbz2.rmd160
2022-02-15 14:39
512
lean-3.39.1_0.darwin_14.x86_64.tbz2
2022-02-15 14:44
5.6M
lean-3.39.1_0.darwin_14.x86_64.tbz2.rmd160
2022-02-15 14:44
512
lean-3.39.1_0.darwin_15.x86_64.tbz2
2022-02-15 14:39
5.6M
lean-3.39.1_0.darwin_15.x86_64.tbz2.rmd160
2022-02-15 14:39
512
lean-3.39.1_0.darwin_16.x86_64.tbz2
2022-02-15 14:32
5.6M
lean-3.39.1_0.darwin_16.x86_64.tbz2.rmd160
2022-02-15 14:32
512
lean-3.39.1_0.darwin_17.x86_64.tbz2
2022-02-15 14:45
5.6M
lean-3.39.1_0.darwin_17.x86_64.tbz2.rmd160
2022-02-15 14:45
512
lean-3.39.1_0.darwin_18.x86_64.tbz2
2022-02-15 14:33
5.7M
lean-3.39.1_0.darwin_18.x86_64.tbz2.rmd160
2022-02-15 14:33
512
lean-3.39.1_0.darwin_19.x86_64.tbz2
2022-02-15 14:33
5.8M
lean-3.39.1_0.darwin_19.x86_64.tbz2.rmd160
2022-02-15 14:33
512
lean-3.39.1_0.darwin_20.arm64.tbz2
2022-02-15 14:21
5.4M
lean-3.39.1_0.darwin_20.arm64.tbz2.rmd160
2022-02-15 14:21
512
lean-3.39.1_0.darwin_20.x86_64.tbz2
2022-02-15 14:32
5.7M
lean-3.39.1_0.darwin_20.x86_64.tbz2.rmd160
2022-02-15 14:32
512
lean-3.39.1_0.darwin_21.arm64.tbz2
2022-02-16 00:44
5.4M
lean-3.39.1_0.darwin_21.arm64.tbz2.rmd160
2022-02-16 00:44
512
lean-3.39.1_0.darwin_21.x86_64.tbz2
2022-02-15 14:39
5.7M
lean-3.39.1_0.darwin_21.x86_64.tbz2.rmd160
2022-02-15 14:39
512
lean-3.42.0_0.darwin_10.x86_64.tbz2
2022-03-20 13:29
5.9M
lean-3.42.0_0.darwin_10.x86_64.tbz2.rmd160
2022-03-20 13:29
512
lean-3.42.0_0.darwin_12.x86_64.tbz2
2022-03-20 13:30
5.6M
lean-3.42.0_0.darwin_12.x86_64.tbz2.rmd160
2022-03-20 13:30
512
lean-3.42.0_0.darwin_13.x86_64.tbz2
2022-03-20 13:21
5.4M
lean-3.42.0_0.darwin_13.x86_64.tbz2.rmd160
2022-03-20 13:21
512
lean-3.42.0_0.darwin_14.x86_64.tbz2
2022-03-20 13:26
5.4M
lean-3.42.0_0.darwin_14.x86_64.tbz2.rmd160
2022-03-20 13:26
512
lean-3.42.0_0.darwin_15.x86_64.tbz2
2022-03-20 13:25
5.4M
lean-3.42.0_0.darwin_15.x86_64.tbz2.rmd160
2022-03-20 13:25
512
lean-3.42.0_0.darwin_16.x86_64.tbz2
2022-03-20 13:16
5.4M
lean-3.42.0_0.darwin_16.x86_64.tbz2.rmd160
2022-03-20 13:16
512
lean-3.42.0_0.darwin_17.x86_64.tbz2
2022-03-20 13:31
5.4M
lean-3.42.0_0.darwin_17.x86_64.tbz2.rmd160
2022-03-20 13:31
512
lean-3.42.0_0.darwin_18.x86_64.tbz2
2022-03-20 13:19
5.8M
lean-3.42.0_0.darwin_18.x86_64.tbz2.rmd160
2022-03-20 13:19
512
lean-3.42.0_0.darwin_19.x86_64.tbz2
2022-03-20 14:46
5.9M
lean-3.42.0_0.darwin_19.x86_64.tbz2.rmd160
2022-03-20 14:46
512
lean-3.42.0_0.darwin_20.arm64.tbz2
2022-03-20 21:20
5.5M
lean-3.42.0_0.darwin_20.arm64.tbz2.rmd160
2022-03-20 21:20
512
lean-3.42.0_0.darwin_20.x86_64.tbz2
2022-03-20 14:45
5.7M
lean-3.42.0_0.darwin_20.x86_64.tbz2.rmd160
2022-03-20 14:45
512
lean-3.42.0_0.darwin_21.arm64.tbz2
2022-03-20 13:09
5.5M
lean-3.42.0_0.darwin_21.arm64.tbz2.rmd160
2022-03-20 13:09
512
lean-3.42.0_0.darwin_21.x86_64.tbz2
2022-03-20 13:31
5.7M
lean-3.42.0_0.darwin_21.x86_64.tbz2.rmd160
2022-03-20 13:31
512
lean-3.42.1_0.darwin_10.x86_64.tbz2
2022-04-04 15:54
5.9M
lean-3.42.1_0.darwin_10.x86_64.tbz2.rmd160
2022-04-04 15:54
512
lean-3.42.1_0.darwin_12.x86_64.tbz2
2022-04-04 15:59
5.6M
lean-3.42.1_0.darwin_12.x86_64.tbz2.rmd160
2022-04-04 15:59
512
lean-3.42.1_0.darwin_13.x86_64.tbz2
2022-04-04 17:30
5.4M
lean-3.42.1_0.darwin_13.x86_64.tbz2.rmd160
2022-04-04 17:30
512
lean-3.42.1_0.darwin_14.x86_64.tbz2
2022-04-04 17:17
5.4M
lean-3.42.1_0.darwin_14.x86_64.tbz2.rmd160
2022-04-04 17:17
512
lean-3.42.1_0.darwin_15.x86_64.tbz2
2022-04-04 17:34
5.4M
lean-3.42.1_0.darwin_15.x86_64.tbz2.rmd160
2022-04-04 17:34
512
lean-3.42.1_0.darwin_16.x86_64.tbz2
2022-04-04 17:21
5.4M
lean-3.42.1_0.darwin_16.x86_64.tbz2.rmd160
2022-04-04 17:21
512
lean-3.42.1_0.darwin_17.x86_64.tbz2
2022-04-04 17:25
5.4M
lean-3.42.1_0.darwin_17.x86_64.tbz2.rmd160
2022-04-04 17:25
512
lean-3.42.1_0.darwin_18.x86_64.tbz2
2022-04-04 17:26
5.8M
lean-3.42.1_0.darwin_18.x86_64.tbz2.rmd160
2022-04-04 17:26
512
lean-3.42.1_0.darwin_19.x86_64.tbz2
2022-04-04 17:43
5.9M
lean-3.42.1_0.darwin_19.x86_64.tbz2.rmd160
2022-04-04 17:43
512
lean-3.42.1_0.darwin_20.arm64.tbz2
2022-04-05 01:13
5.5M
lean-3.42.1_0.darwin_20.arm64.tbz2.rmd160
2022-04-05 01:13
512
lean-3.42.1_0.darwin_20.x86_64.tbz2
2022-04-04 17:37
5.8M
lean-3.42.1_0.darwin_20.x86_64.tbz2.rmd160
2022-04-04 17:37
512
lean-3.42.1_0.darwin_21.arm64.tbz2
2022-04-04 16:06
5.5M
lean-3.42.1_0.darwin_21.arm64.tbz2.rmd160
2022-04-04 16:06
512
lean-3.42.1_0.darwin_21.x86_64.tbz2
2022-04-04 17:24
5.7M
lean-3.42.1_0.darwin_21.x86_64.tbz2.rmd160
2022-04-04 17:24
512