Index of ftp://mirror.mephi.ru/gentoo-portage/sci-mathematics/coq
Parent Directory
Manifest
2.08Kb
December 14 2021 at 13:09
coq-8.11.2-r1.ebuild
1.80Kb
July 26 2021 at 11:39
coq-8.12.0-r2.ebuild
1.80Kb
December 7 2021 at 06:40
coq-8.13.0-r1.ebuild
1.78Kb
July 26 2021 at 11:39
metadata.xml
939.00b
September 11 2021 at 13:40
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
Manifest coq-8.11.2-r1.ebuild coq-8.12.0-r2.ebuild coq-8.13.0-r1.ebuild![[TXT]](/icons/text.gif){kind=icon}
metadata.xml