Index of ftp://ftp.vectranet.pl/vol/vol-13/gentoo-portage/sci-mathematics/coq

[DIR] Parent Directory

[ ] Manifest  2.07Kb  August 16 2023 at 04:40
[ ] coq-8.12.0-r2.ebuild  1.81Kb  June 9 2023 at 17:40
[ ] coq-8.17.0.ebuild  2.26Kb  July 17 2023 at 14:40
[ ] coq-8.17.1.ebuild  2.26Kb  August 16 2023 at 04:40
[TXT] metadata.xml  1.02Kb  February 27 2022