Index of ftp://ftp.linux.org.tr/gentoo-portage/sci-mathematics/coq

[DIR] Parent Directory

[ ] Manifest  2.37Kb  October 13 2020 at 13:09
[ ] coq-8.12.0.ebuild  1.78Kb  October 13 2020 at 13:09
[ ] coq-8.6.1-r1.ebuild  1.96Kb  November 4 2019
[ ] coq-8.9.1-r1.ebuild  1.84Kb  November 24 2019
[ ] coq-8.9.1-r2.ebuild  1.78Kb  January 7 2020
[TXT] metadata.xml  999.00b  December 13 2019