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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] Manifest 2024-01-19 04:40 2.1K [DIR] files/ 2024-07-16 22:11 - [   ] lean-3.51.1.ebuild 2023-08-16 02:10 1.8K [   ] lean-4.2.0.ebuild 2024-01-19 04:40 1.3K [TXT] metadata.xml 2022-02-23 05:39 606