Index of http://de.aminet.net/gentoo-portage/sci-mathematics/coq

[DIR] Parent Directory

[   ] Manifest  2.07Kb  April 6 2021 at 22:09
[   ] coq-8.11.2.ebuild  1.79Kb  February 9 2021 at 20:39
[   ] coq-8.12.0-r1.ebuild  1.79Kb  April 6 2021 at 22:09
[   ] coq-8.13.0.ebuild  1.76Kb  April 6 2021 at 22:09
[TXT] metadata.xml  938.00b  March 13 2021 at 18:39