magyar tükör
Gentoo kézikönyv
Letöltések
Csomagkereső
Gentoo Wiki
Portage Wiki
Git repos
gentoo.jss.hu
releases
amd64
binpackages
23.0
x86-64-v3
sci-mathematics
lean
Név
Méret
Dátum
ELŐZŐ KÖNYVTÁR
lean-4.11.0-1.gpkg.tar
163Mb
2025-01-19 14:36
lean-4.11.0-1.gpkg.tar
lean-4.11.0-1.gpkg.tar