Index of /sites/packages.macports.org/lean/

Icon  Name                                       Last modified      Size  
[PARENTDIR] Parent Directory - [   ] lean-3.32.1_0.darwin_10.x86_64.tbz2 2021-08-17 20:07 6.2M [   ] lean-3.32.1_0.darwin_10.x86_64.tbz2.rmd160 2021-08-17 20:07 512 [   ] lean-3.32.1_0.darwin_11.x86_64.tbz2 2021-08-17 20:07 6.1M [   ] lean-3.32.1_0.darwin_11.x86_64.tbz2.rmd160 2021-08-17 20:07 512 [   ] lean-3.32.1_0.darwin_12.x86_64.tbz2 2021-08-16 06:50 6.1M [   ] lean-3.32.1_0.darwin_12.x86_64.tbz2.rmd160 2021-08-16 06:50 512 [   ] lean-3.32.1_0.darwin_13.x86_64.tbz2 2021-08-16 06:46 5.9M [   ] lean-3.32.1_0.darwin_13.x86_64.tbz2.rmd160 2021-08-16 06:46 512 [   ] lean-3.32.1_0.darwin_14.x86_64.tbz2 2021-08-16 06:49 5.9M [   ] lean-3.32.1_0.darwin_14.x86_64.tbz2.rmd160 2021-08-16 06:49 512 [   ] lean-3.32.1_0.darwin_15.x86_64.tbz2 2021-08-16 05:47 5.8M [   ] lean-3.32.1_0.darwin_15.x86_64.tbz2.rmd160 2021-08-16 05:47 512 [   ] lean-3.32.1_0.darwin_16.x86_64.tbz2 2021-08-16 07:29 5.9M [   ] lean-3.32.1_0.darwin_16.x86_64.tbz2.rmd160 2021-08-16 07:29 512 [   ] lean-3.32.1_0.darwin_17.x86_64.tbz2 2021-08-16 07:27 5.9M [   ] lean-3.32.1_0.darwin_17.x86_64.tbz2.rmd160 2021-08-16 07:27 512 [   ] lean-3.32.1_0.darwin_18.x86_64.tbz2 2021-08-16 05:46 5.9M [   ] lean-3.32.1_0.darwin_18.x86_64.tbz2.rmd160 2021-08-16 05:46 512 [   ] lean-3.32.1_0.darwin_19.x86_64.tbz2 2021-08-16 05:48 6.0M [   ] lean-3.32.1_0.darwin_19.x86_64.tbz2.rmd160 2021-08-16 05:48 512 [   ] lean-3.32.1_0.darwin_20.arm64.tbz2 2021-08-16 05:41 5.6M [   ] lean-3.32.1_0.darwin_20.arm64.tbz2.rmd160 2021-08-16 05:41 512 [   ] lean-3.32.1_0.darwin_20.x86_64.tbz2 2021-08-16 05:49 5.8M [   ] lean-3.32.1_0.darwin_20.x86_64.tbz2.rmd160 2021-08-16 05:49 512 [   ] lean-3.33.0_0.darwin_10.x86_64.tbz2 2021-09-29 01:03 6.3M [   ] lean-3.33.0_0.darwin_10.x86_64.tbz2.rmd160 2021-09-29 01:03 512 [   ] lean-3.33.0_0.darwin_11.x86_64.tbz2 2021-09-29 07:42 6.2M [   ] lean-3.33.0_0.darwin_11.x86_64.tbz2.rmd160 2021-09-29 07:42 512 [   ] lean-3.33.0_0.darwin_12.x86_64.tbz2 2021-09-29 08:38 6.2M [   ] lean-3.33.0_0.darwin_12.x86_64.tbz2.rmd160 2021-09-29 08:38 512 [   ] lean-3.33.0_0.darwin_13.x86_64.tbz2 2021-09-29 06:18 6.0M [   ] lean-3.33.0_0.darwin_13.x86_64.tbz2.rmd160 2021-09-29 06:18 512 [   ] lean-3.33.0_0.darwin_14.x86_64.tbz2 2021-09-29 07:31 6.0M [   ] lean-3.33.0_0.darwin_14.x86_64.tbz2.rmd160 2021-09-29 07:31 512 [   ] lean-3.33.0_0.darwin_15.x86_64.tbz2 2021-09-29 07:46 6.0M [   ] lean-3.33.0_0.darwin_15.x86_64.tbz2.rmd160 2021-09-29 07:46 512 [   ] lean-3.33.0_0.darwin_16.x86_64.tbz2 2021-09-29 07:06 6.0M [   ] lean-3.33.0_0.darwin_16.x86_64.tbz2.rmd160 2021-09-29 07:06 512 [   ] lean-3.33.0_0.darwin_17.x86_64.tbz2 2021-09-29 12:34 6.0M [   ] lean-3.33.0_0.darwin_17.x86_64.tbz2.rmd160 2021-09-29 12:34 512 [   ] lean-3.33.0_0.darwin_18.x86_64.tbz2 2021-09-29 07:01 6.0M [   ] lean-3.33.0_0.darwin_18.x86_64.tbz2.rmd160 2021-09-29 07:01 512 [   ] lean-3.33.0_0.darwin_19.x86_64.tbz2 2021-09-29 08:24 6.1M [   ] lean-3.33.0_0.darwin_19.x86_64.tbz2.rmd160 2021-09-29 08:24 512 [   ] lean-3.33.0_0.darwin_20.arm64.tbz2 2021-09-29 00:51 5.6M [   ] lean-3.33.0_0.darwin_20.arm64.tbz2.rmd160 2021-09-29 00:51 512 [   ] lean-3.33.0_0.darwin_20.x86_64.tbz2 2021-09-29 05:42 5.9M [   ] lean-3.33.0_0.darwin_20.x86_64.tbz2.rmd160 2021-09-29 05:42 512 [   ] 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