Index of /macports/packages/lean

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]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  
[ ]lean-3.35.1_0.darwin_21.x86_64.tbz22021-12-03 02:50 5.7M 
[ ]lean-3.35.1_0.darwin_21.x86_64.tbz2.rmd1602021-12-03 02:50 512  
[ ]lean-3.38.0_0.darwin_10.x86_64.tbz22022-01-25 16:24 5.9M 
[ ]lean-3.38.0_0.darwin_10.x86_64.tbz2.rmd1602022-01-25 16:24 512  
[ ]lean-3.38.0_0.darwin_12.x86_64.tbz22022-01-25 15:43 5.8M 
[ ]lean-3.38.0_0.darwin_12.x86_64.tbz2.rmd1602022-01-25 15:43 512  
[ ]lean-3.38.0_0.darwin_13.x86_64.tbz22022-01-25 14:53 5.6M 
[ ]lean-3.38.0_0.darwin_13.x86_64.tbz2.rmd1602022-01-25 14:53 512  
[ ]lean-3.38.0_0.darwin_14.x86_64.tbz22022-01-25 15:02 5.6M 
[ ]lean-3.38.0_0.darwin_14.x86_64.tbz2.rmd1602022-01-25 15:02 512  
[ ]lean-3.38.0_0.darwin_15.x86_64.tbz22022-01-25 14:54 5.6M 
[ ]lean-3.38.0_0.darwin_15.x86_64.tbz2.rmd1602022-01-25 14:54 512  
[ ]lean-3.38.0_0.darwin_16.x86_64.tbz22022-01-25 14:48 5.6M 
[ ]lean-3.38.0_0.darwin_16.x86_64.tbz2.rmd1602022-01-25 14:48 512  
[ ]lean-3.38.0_0.darwin_17.x86_64.tbz22022-01-25 15:07 5.6M 
[ ]lean-3.38.0_0.darwin_17.x86_64.tbz2.rmd1602022-01-25 15:07 512  
[ ]lean-3.38.0_0.darwin_18.x86_64.tbz22022-01-25 14:50 5.7M 
[ ]lean-3.38.0_0.darwin_18.x86_64.tbz2.rmd1602022-01-25 14:50 512  
[ ]lean-3.38.0_0.darwin_19.x86_64.tbz22022-01-25 14:48 5.7M 
[ ]lean-3.38.0_0.darwin_19.x86_64.tbz2.rmd1602022-01-25 14:48 512  
[ ]lean-3.38.0_0.darwin_20.arm64.tbz22022-01-25 14:37 5.4M 
[ ]lean-3.38.0_0.darwin_20.arm64.tbz2.rmd1602022-01-25 14:37 512  
[ ]lean-3.38.0_0.darwin_20.x86_64.tbz22022-01-25 14:45 5.7M 
[ ]lean-3.38.0_0.darwin_20.x86_64.tbz2.rmd1602022-01-25 14:45 512  
[ ]lean-3.38.0_0.darwin_21.arm64.tbz22022-01-25 16:27 5.4M 
[ ]lean-3.38.0_0.darwin_21.arm64.tbz2.rmd1602022-01-25 16:27 512  
[ ]lean-3.38.0_0.darwin_21.x86_64.tbz22022-01-25 18:20 5.7M 
[ ]lean-3.38.0_0.darwin_21.x86_64.tbz2.rmd1602022-01-25 18:20 512  
[ ]lean-3.39.1_0.darwin_10.x86_64.tbz22022-02-15 14:42 5.9M 
[ ]lean-3.39.1_0.darwin_10.x86_64.tbz2.rmd1602022-02-15 14:42 512  
[ ]lean-3.39.1_0.darwin_12.x86_64.tbz22022-02-15 14:45 5.8M 
[ ]lean-3.39.1_0.darwin_12.x86_64.tbz2.rmd1602022-02-15 14:45 512  
[ ]lean-3.39.1_0.darwin_13.x86_64.tbz22022-02-15 14:39 5.6M 
[ ]lean-3.39.1_0.darwin_13.x86_64.tbz2.rmd1602022-02-15 14:39 512  
[ ]lean-3.39.1_0.darwin_14.x86_64.tbz22022-02-15 14:44 5.6M 
[ ]lean-3.39.1_0.darwin_14.x86_64.tbz2.rmd1602022-02-15 14:44 512  
[ ]lean-3.39.1_0.darwin_15.x86_64.tbz22022-02-15 14:39 5.6M 
[ ]lean-3.39.1_0.darwin_15.x86_64.tbz2.rmd1602022-02-15 14:39 512  
[ ]lean-3.39.1_0.darwin_16.x86_64.tbz22022-02-15 14:32 5.6M 
[ ]lean-3.39.1_0.darwin_16.x86_64.tbz2.rmd1602022-02-15 14:32 512  
[ ]lean-3.39.1_0.darwin_17.x86_64.tbz22022-02-15 14:45 5.6M 
[ ]lean-3.39.1_0.darwin_17.x86_64.tbz2.rmd1602022-02-15 14:45 512  
[ ]lean-3.39.1_0.darwin_18.x86_64.tbz22022-02-15 14:33 5.7M 
[ ]lean-3.39.1_0.darwin_18.x86_64.tbz2.rmd1602022-02-15 14:33 512  
[ ]lean-3.39.1_0.darwin_19.x86_64.tbz22022-02-15 14:33 5.8M 
[ ]lean-3.39.1_0.darwin_19.x86_64.tbz2.rmd1602022-02-15 14:33 512  
[ ]lean-3.39.1_0.darwin_20.arm64.tbz22022-02-15 14:21 5.4M 
[ ]lean-3.39.1_0.darwin_20.arm64.tbz2.rmd1602022-02-15 14:21 512  
[ ]lean-3.39.1_0.darwin_20.x86_64.tbz22022-02-15 14:32 5.7M 
[ ]lean-3.39.1_0.darwin_20.x86_64.tbz2.rmd1602022-02-15 14:32 512  
[ ]lean-3.39.1_0.darwin_21.arm64.tbz22022-02-16 00:44 5.4M 
[ ]lean-3.39.1_0.darwin_21.arm64.tbz2.rmd1602022-02-16 00:44 512  
[ ]lean-3.39.1_0.darwin_21.x86_64.tbz22022-02-15 14:39 5.7M 
[ ]lean-3.39.1_0.darwin_21.x86_64.tbz2.rmd1602022-02-15 14:39 512  
[ ]lean-3.42.0_0.darwin_10.x86_64.tbz22022-03-20 13:29 5.9M 
[ ]lean-3.42.0_0.darwin_10.x86_64.tbz2.rmd1602022-03-20 13:29 512  
[ ]lean-3.42.0_0.darwin_12.x86_64.tbz22022-03-20 13:30 5.6M 
[ ]lean-3.42.0_0.darwin_12.x86_64.tbz2.rmd1602022-03-20 13:30 512  
[ ]lean-3.42.0_0.darwin_13.x86_64.tbz22022-03-20 13:21 5.4M 
[ ]lean-3.42.0_0.darwin_13.x86_64.tbz2.rmd1602022-03-20 13:21 512  
[ ]lean-3.42.0_0.darwin_14.x86_64.tbz22022-03-20 13:26 5.4M 
[ ]lean-3.42.0_0.darwin_14.x86_64.tbz2.rmd1602022-03-20 13:26 512  
[ ]lean-3.42.0_0.darwin_15.x86_64.tbz22022-03-20 13:25 5.4M 
[ ]lean-3.42.0_0.darwin_15.x86_64.tbz2.rmd1602022-03-20 13:25 512  
[ ]lean-3.42.0_0.darwin_16.x86_64.tbz22022-03-20 13:16 5.4M 
[ ]lean-3.42.0_0.darwin_16.x86_64.tbz2.rmd1602022-03-20 13:16 512  
[ ]lean-3.42.0_0.darwin_17.x86_64.tbz22022-03-20 13:31 5.4M 
[ ]lean-3.42.0_0.darwin_17.x86_64.tbz2.rmd1602022-03-20 13:31 512  
[ ]lean-3.42.0_0.darwin_18.x86_64.tbz22022-03-20 13:19 5.8M 
[ ]lean-3.42.0_0.darwin_18.x86_64.tbz2.rmd1602022-03-20 13:19 512  
[ ]lean-3.42.0_0.darwin_19.x86_64.tbz22022-03-20 14:46 5.9M 
[ ]lean-3.42.0_0.darwin_19.x86_64.tbz2.rmd1602022-03-20 14:46 512  
[ ]lean-3.42.0_0.darwin_20.arm64.tbz22022-03-20 21:20 5.5M 
[ ]lean-3.42.0_0.darwin_20.arm64.tbz2.rmd1602022-03-20 21:20 512  
[ ]lean-3.42.0_0.darwin_20.x86_64.tbz22022-03-20 14:45 5.7M 
[ ]lean-3.42.0_0.darwin_20.x86_64.tbz2.rmd1602022-03-20 14:45 512  
[ ]lean-3.42.0_0.darwin_21.arm64.tbz22022-03-20 13:09 5.5M 
[ ]lean-3.42.0_0.darwin_21.arm64.tbz2.rmd1602022-03-20 13:09 512  
[ ]lean-3.42.0_0.darwin_21.x86_64.tbz22022-03-20 13:31 5.7M 
[ ]lean-3.42.0_0.darwin_21.x86_64.tbz2.rmd1602022-03-20 13:31 512  
[ ]lean-3.42.1_0.darwin_10.x86_64.tbz22022-04-04 15:54 5.9M 
[ ]lean-3.42.1_0.darwin_10.x86_64.tbz2.rmd1602022-04-04 15:54 512  
[ ]lean-3.42.1_0.darwin_12.x86_64.tbz22022-04-04 15:59 5.6M 
[ ]lean-3.42.1_0.darwin_12.x86_64.tbz2.rmd1602022-04-04 15:59 512  
[ ]lean-3.42.1_0.darwin_13.x86_64.tbz22022-04-04 17:30 5.4M 
[ ]lean-3.42.1_0.darwin_13.x86_64.tbz2.rmd1602022-04-04 17:30 512  
[ ]lean-3.42.1_0.darwin_14.x86_64.tbz22022-04-04 17:17 5.4M 
[ ]lean-3.42.1_0.darwin_14.x86_64.tbz2.rmd1602022-04-04 17:17 512  
[ ]lean-3.42.1_0.darwin_15.x86_64.tbz22022-04-04 17:34 5.4M 
[ ]lean-3.42.1_0.darwin_15.x86_64.tbz2.rmd1602022-04-04 17:34 512  
[ ]lean-3.42.1_0.darwin_16.x86_64.tbz22022-04-04 17:21 5.4M 
[ ]lean-3.42.1_0.darwin_16.x86_64.tbz2.rmd1602022-04-04 17:21 512  
[ ]lean-3.42.1_0.darwin_17.x86_64.tbz22022-04-04 17:25 5.4M 
[ ]lean-3.42.1_0.darwin_17.x86_64.tbz2.rmd1602022-04-04 17:25 512  
[ ]lean-3.42.1_0.darwin_18.x86_64.tbz22022-04-04 17:26 5.8M 
[ ]lean-3.42.1_0.darwin_18.x86_64.tbz2.rmd1602022-04-04 17:26 512  
[ ]lean-3.42.1_0.darwin_19.x86_64.tbz22022-04-04 17:43 5.9M 
[ ]lean-3.42.1_0.darwin_19.x86_64.tbz2.rmd1602022-04-04 17:43 512  
[ ]lean-3.42.1_0.darwin_20.arm64.tbz22022-04-05 01:13 5.5M 
[ ]lean-3.42.1_0.darwin_20.arm64.tbz2.rmd1602022-04-05 01:13 512  
[ ]lean-3.42.1_0.darwin_20.x86_64.tbz22022-04-04 17:37 5.8M 
[ ]lean-3.42.1_0.darwin_20.x86_64.tbz2.rmd1602022-04-04 17:37 512  
[ ]lean-3.42.1_0.darwin_21.arm64.tbz22022-04-04 16:06 5.5M 
[ ]lean-3.42.1_0.darwin_21.arm64.tbz2.rmd1602022-04-04 16:06 512  
[ ]lean-3.42.1_0.darwin_21.x86_64.tbz22022-04-04 17:24 5.7M 
[ ]lean-3.42.1_0.darwin_21.x86_64.tbz2.rmd1602022-04-04 17:24 512