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

Icon  Name                                          Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 26-May-2023 15:40 3.6K [DIR] files/ 11-Jun-2023 01:40 - [TXT] lean-3.49.0.ebuild 22-Dec-2022 08:10 1.7K [TXT] lean-3.50.3.ebuild 26-May-2023 15:40 1.8K [TXT] lean-3.51.0.ebuild 18-May-2023 05:10 1.8K [TXT] lean-3.51.1.ebuild 25-May-2023 07:40 1.8K [TXT] lean-3.9999.ebuild 18-Apr-2023 22:10 1.8K [   ] metadata.xml 23-Feb-2022 02:39 606
Microsoft-IIS/10.0 Server at iso.tw.netbsd.org Port 80