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

Icon  Name                                          Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 01-Dec-2023 01:10 2.7K [DIR] files/ 11-Dec-2023 17:10 - [TXT] lean-3.51.1.ebuild 16-Aug-2023 00:10 1.8K [TXT] lean-4.2.0.ebuild 01-Dec-2023 01:10 1.3K [TXT] lean-4.2.0_rc4.ebuild 26-Oct-2023 21:40 1.3K [   ] metadata.xml 23-Feb-2022 02:39 606
Microsoft-IIS/10.0 Server at iso.tw.netbsd.org Port 80