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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] Manifest 2022-11-18 23:40 3.3K [DIR] files/ 2022-12-08 17:40 - [   ] lean-3.47.0.ebuild 2022-08-26 02:40 1.7K [   ] lean-3.48.0.ebuild 2022-08-30 16:40 1.7K [   ] lean-3.49.0.ebuild 2022-11-12 06:40 1.7K [   ] lean-3.49.1.ebuild 2022-11-18 23:40 1.7K [   ] lean-3.9999.ebuild 2022-08-26 02:40 1.7K [   ] metadata.xml 2022-02-22 19:39 606
Apache/2.4.41 (Ubuntu) Server at dewy.fem.tu-ilmenau.de Port 443