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

Icon  Name                                          Last modified      Size  Description
[DIR] Parent Directory - [   ] metadata.xml 23-Feb-2022 02:39 606 [TXT] lean-3.9999.ebuild 26-Aug-2022 08:40 1.7K [TXT] lean-3.48.0.ebuild 30-Aug-2022 22:40 1.7K [TXT] lean-3.47.0.ebuild 26-Aug-2022 08:40 1.7K [TXT] lean-3.46.0.ebuild 09-Aug-2022 09:10 1.7K [DIR] files/ 29-Sep-2022 10:11 - [   ] Manifest 30-Aug-2022 22:40 2.7K
Microsoft-IIS/6.0 Server at iso.tw.netbsd.org Port 80