Index of /lean/

Icon  Name                                       Last modified      Size  
[PARENTDIR] Parent Directory                                                -   
[   ] lean-3.51.1_0.darwin_14.x86_64.tbz2        2024-09-05 23:25  5.5M  
[   ] lean-3.51.1_0.darwin_14.x86_64.tbz2.rmd160 2024-09-05 23:25  512   
[   ] lean-3.51.1_0.darwin_15.x86_64.tbz2        2024-09-05 23:26  5.5M  
[   ] lean-3.51.1_0.darwin_15.x86_64.tbz2.rmd160 2024-09-05 23:26  512   
[   ] lean-3.51.1_0.darwin_16.x86_64.tbz2        2024-09-05 23:27  5.5M  
[   ] lean-3.51.1_0.darwin_16.x86_64.tbz2.rmd160 2024-09-05 23:27  512   
[   ] lean-3.51.1_0.darwin_17.x86_64.tbz2        2024-09-05 23:29  5.5M  
[   ] lean-3.51.1_0.darwin_17.x86_64.tbz2.rmd160 2024-09-05 23:29  512   
[   ] lean-3.51.1_0.darwin_18.x86_64.tbz2        2024-09-05 23:23  5.8M  
[   ] lean-3.51.1_0.darwin_18.x86_64.tbz2.rmd160 2024-09-05 23:23  512   
[   ] lean-3.51.1_0.darwin_19.x86_64.tbz2        2024-09-05 23:19  5.9M  
[   ] lean-3.51.1_0.darwin_19.x86_64.tbz2.rmd160 2024-09-05 23:19  512   
[   ] lean-3.51.1_0.darwin_20.x86_64.tbz2        2024-09-05 23:23  5.8M  
[   ] lean-3.51.1_0.darwin_20.x86_64.tbz2.rmd160 2024-09-05 23:23  512   
[   ] lean-3.51.1_0.darwin_21.arm64.tbz2         2024-09-06 22:06  5.6M  
[   ] lean-3.51.1_0.darwin_21.arm64.tbz2.rmd160  2024-09-06 22:06  512   
[   ] lean-3.51.1_0.darwin_21.x86_64.tbz2        2024-09-05 23:23  5.9M  
[   ] lean-3.51.1_0.darwin_21.x86_64.tbz2.rmd160 2024-09-05 23:23  512   
[   ] lean-3.51.1_0.darwin_22.arm64.tbz2         2024-09-06 18:22  5.3M  
[   ] lean-3.51.1_0.darwin_22.arm64.tbz2.rmd160  2024-09-06 18:22  512   
[   ] lean-3.51.1_0.darwin_22.x86_64.tbz2        2024-09-06 20:45  5.5M  
[   ] lean-3.51.1_0.darwin_22.x86_64.tbz2.rmd160 2024-09-06 20:45  512   
[   ] lean-3.51.1_0.darwin_23.arm64.tbz2         2024-09-05 23:06  5.3M  
[   ] lean-3.51.1_0.darwin_23.arm64.tbz2.rmd160  2024-09-05 23:06  512   
[   ] lean-3.51.1_0.darwin_23.x86_64.tbz2        2024-09-06 07:23  5.5M  
[   ] lean-3.51.1_0.darwin_23.x86_64.tbz2.rmd160 2024-09-06 07:23  512   
[   ] lean-3.51.1_0.darwin_24.x86_64.tbz2        2024-10-10 03:06  5.5M  
[   ] lean-3.51.1_0.darwin_24.x86_64.tbz2.rmd160 2024-10-10 03:06  512