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
sci-mathematics
coq
Név
Méret
Dátum
ELŐZŐ KÖNYVTÁR
coq-9.1.0-r1-1.gpkg.tar
122Mb
2026-03-11 10:22
coq-9.1.0-r1-1.gpkg.tar
coq-9.1.0-r1-1.gpkg.tar