Index of /macports/packages/lean

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lean-3.32.1_0.darwin_10.x86_64.tbz22021-08-17 20:07 6.2M 
[ ]lean-3.32.1_0.darwin_10.x86_64.tbz2.rmd1602021-08-17 20:07 512  
[ ]lean-3.32.1_0.darwin_11.x86_64.tbz22021-08-17 20:07 6.1M 
[ ]lean-3.32.1_0.darwin_11.x86_64.tbz2.rmd1602021-08-17 20:07 512  
[ ]lean-3.32.1_0.darwin_12.x86_64.tbz22021-08-16 06:50 6.1M 
[ ]lean-3.32.1_0.darwin_12.x86_64.tbz2.rmd1602021-08-16 06:50 512  
[ ]lean-3.32.1_0.darwin_13.x86_64.tbz22021-08-16 06:46 5.9M 
[ ]lean-3.32.1_0.darwin_13.x86_64.tbz2.rmd1602021-08-16 06:46 512  
[ ]lean-3.32.1_0.darwin_14.x86_64.tbz22021-08-16 06:49 5.9M 
[ ]lean-3.32.1_0.darwin_14.x86_64.tbz2.rmd1602021-08-16 06:49 512  
[ ]lean-3.32.1_0.darwin_15.x86_64.tbz22021-08-16 05:47 5.8M 
[ ]lean-3.32.1_0.darwin_15.x86_64.tbz2.rmd1602021-08-16 05:47 512  
[ ]lean-3.32.1_0.darwin_16.x86_64.tbz22021-08-16 07:29 5.9M 
[ ]lean-3.32.1_0.darwin_16.x86_64.tbz2.rmd1602021-08-16 07:29 512  
[ ]lean-3.32.1_0.darwin_17.x86_64.tbz22021-08-16 07:27 5.9M 
[ ]lean-3.32.1_0.darwin_17.x86_64.tbz2.rmd1602021-08-16 07:27 512  
[ ]lean-3.32.1_0.darwin_18.x86_64.tbz22021-08-16 05:46 5.9M 
[ ]lean-3.32.1_0.darwin_18.x86_64.tbz2.rmd1602021-08-16 05:46 512  
[ ]lean-3.32.1_0.darwin_19.x86_64.tbz22021-08-16 05:48 6.0M 
[ ]lean-3.32.1_0.darwin_19.x86_64.tbz2.rmd1602021-08-16 05:48 512  
[ ]lean-3.32.1_0.darwin_20.arm64.tbz22021-08-16 05:41 5.6M 
[ ]lean-3.32.1_0.darwin_20.arm64.tbz2.rmd1602021-08-16 05:41 512  
[ ]lean-3.32.1_0.darwin_20.x86_64.tbz22021-08-16 05:49 5.8M 
[ ]lean-3.32.1_0.darwin_20.x86_64.tbz2.rmd1602021-08-16 05:49 512  
[ ]lean-3.33.0_0.darwin_10.x86_64.tbz22021-09-29 01:03 6.3M 
[ ]lean-3.33.0_0.darwin_10.x86_64.tbz2.rmd1602021-09-29 01:03 512  
[ ]lean-3.33.0_0.darwin_11.x86_64.tbz22021-09-29 07:42 6.2M 
[ ]lean-3.33.0_0.darwin_11.x86_64.tbz2.rmd1602021-09-29 07:42 512  
[ ]lean-3.33.0_0.darwin_12.x86_64.tbz22021-09-29 08:38 6.2M 
[ ]lean-3.33.0_0.darwin_12.x86_64.tbz2.rmd1602021-09-29 08:38 512  
[ ]lean-3.33.0_0.darwin_13.x86_64.tbz22021-09-29 06:18 6.0M 
[ ]lean-3.33.0_0.darwin_13.x86_64.tbz2.rmd1602021-09-29 06:18 512  
[ ]lean-3.33.0_0.darwin_14.x86_64.tbz22021-09-29 07:31 6.0M 
[ ]lean-3.33.0_0.darwin_14.x86_64.tbz2.rmd1602021-09-29 07:31 512  
[ ]lean-3.33.0_0.darwin_15.x86_64.tbz22021-09-29 07:46 6.0M 
[ ]lean-3.33.0_0.darwin_15.x86_64.tbz2.rmd1602021-09-29 07:46 512  
[ ]lean-3.33.0_0.darwin_16.x86_64.tbz22021-09-29 07:06 6.0M 
[ ]lean-3.33.0_0.darwin_16.x86_64.tbz2.rmd1602021-09-29 07:06 512  
[ ]lean-3.33.0_0.darwin_17.x86_64.tbz22021-09-29 12:34 6.0M 
[ ]lean-3.33.0_0.darwin_17.x86_64.tbz2.rmd1602021-09-29 12:34 512  
[ ]lean-3.33.0_0.darwin_18.x86_64.tbz22021-09-29 07:01 6.0M 
[ ]lean-3.33.0_0.darwin_18.x86_64.tbz2.rmd1602021-09-29 07:01 512  
[ ]lean-3.33.0_0.darwin_19.x86_64.tbz22021-09-29 08:24 6.1M 
[ ]lean-3.33.0_0.darwin_19.x86_64.tbz2.rmd1602021-09-29 08:24 512  
[ ]lean-3.33.0_0.darwin_20.arm64.tbz22021-09-29 00:51 5.6M 
[ ]lean-3.33.0_0.darwin_20.arm64.tbz2.rmd1602021-09-29 00:51 512  
[ ]lean-3.33.0_0.darwin_20.x86_64.tbz22021-09-29 05:42 5.9M 
[ ]lean-3.33.0_0.darwin_20.x86_64.tbz2.rmd1602021-09-29 05:42 512  
[ ]lean-3.35.1_0.darwin_10.x86_64.tbz22021-11-14 01:12 6.0M 
[ ]lean-3.35.1_0.darwin_10.x86_64.tbz2.rmd1602021-11-14 01:12 512  
[ ]lean-3.35.1_0.darwin_11.x86_64.tbz22021-11-13 19:51 5.8M 
[ ]lean-3.35.1_0.darwin_11.x86_64.tbz2.rmd1602021-11-13 19:51 512  
[ ]lean-3.35.1_0.darwin_12.x86_64.tbz22021-11-14 11:26 5.8M 
[ ]lean-3.35.1_0.darwin_12.x86_64.tbz2.rmd1602021-11-14 11:26 512  
[ ]lean-3.35.1_0.darwin_13.x86_64.tbz22021-11-13 20:04 5.7M 
[ ]lean-3.35.1_0.darwin_13.x86_64.tbz2.rmd1602021-11-13 20:04 512  
[ ]lean-3.35.1_0.darwin_14.x86_64.tbz22021-11-13 23:16 5.7M 
[ ]lean-3.35.1_0.darwin_14.x86_64.tbz2.rmd1602021-11-13 23:16 512  
[ ]lean-3.35.1_0.darwin_15.x86_64.tbz22021-11-15 04:06 5.7M 
[ ]lean-3.35.1_0.darwin_15.x86_64.tbz2.rmd1602021-11-15 04:06 512  
[ ]lean-3.35.1_0.darwin_16.x86_64.tbz22021-11-14 07:28 5.7M 
[ ]lean-3.35.1_0.darwin_16.x86_64.tbz2.rmd1602021-11-14 07:28 512  
[ ]lean-3.35.1_0.darwin_17.x86_64.tbz22021-11-15 00:57 5.7M 
[ ]lean-3.35.1_0.darwin_17.x86_64.tbz2.rmd1602021-11-15 00:57 512  
[ ]lean-3.35.1_0.darwin_18.x86_64.tbz22021-11-15 20:57 5.7M 
[ ]lean-3.35.1_0.darwin_18.x86_64.tbz2.rmd1602021-11-15 20:57 512  
[ ]lean-3.35.1_0.darwin_19.x86_64.tbz22021-11-15 14:45 5.7M 
[ ]lean-3.35.1_0.darwin_19.x86_64.tbz2.rmd1602021-11-15 14:45 512  
[ ]lean-3.35.1_0.darwin_20.arm64.tbz22021-11-14 00:30 5.4M 
[ ]lean-3.35.1_0.darwin_20.arm64.tbz2.rmd1602021-11-14 00:30 512  
[ ]lean-3.35.1_0.darwin_20.x86_64.tbz22021-11-15 09:53 5.7M 
[ ]lean-3.35.1_0.darwin_20.x86_64.tbz2.rmd1602021-11-15 09:53 512  
[ ]lean-3.35.1_0.darwin_21.arm64.tbz22021-11-14 01:44 5.4M 
[ ]lean-3.35.1_0.darwin_21.arm64.tbz2.rmd1602021-11-14 01:44 512