Index of http://de.aminet.net/gentoo-portage/sci-mathematics/coq
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
metadata.xml
938.00b
March 13 2021 at 18:39