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

Icon  Name                                          Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 09-Aug-2022 09:10 2.7K [DIR] files/ 16-Aug-2022 21:10 - [TXT] lean-3.44.1.ebuild 03-Aug-2022 06:10 1.7K [TXT] lean-3.45.0.ebuild 03-Aug-2022 06:10 1.7K [TXT] lean-3.46.0.ebuild 09-Aug-2022 09:10 1.7K [TXT] lean-3.9999.ebuild 03-Aug-2022 06:10 1.7K [   ] metadata.xml 23-Feb-2022 02:39 606
Microsoft-IIS/6.0 Server at iso.tw.netbsd.org Port 80