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