Index of /gentoo-portage/sci-mathematics/lean

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 lean-3.9999.ebuild               2022-02-23 05:39  1.7K  
 metadata.xml                     2022-02-23 05:39  606   
 lean-3.42.0.ebuild               2022-03-19 07:10  1.7K  
 lean-3.39.1.ebuild               2022-03-27 07:10  1.7K  
 lean-3.42.1.ebuild               2022-03-27 13:10  1.7K  
 Manifest                         2022-05-19 05:40  3.3K  
 lean-3.43.0.ebuild               2022-05-19 05:40  1.7K  
 files/                           2022-05-21 09:40    -