Index of: /gentoo-portage/sci-mathematics/coq/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
metadata.xml	999 B	2019-Dec-13 09:39
coq-8.9.1-r1.ebuild	1.8 KiB	2019-Nov-23 19:09
coq-8.6.1-r1.ebuild	2.0 KiB	2019-Nov-04 09:09
coq-8.12.0.ebuild	1.8 KiB	2020-Oct-13 07:09
Manifest	2.1 KiB	2021-Jan-20 04:39

mirror.esc7.net is accessible over IPv4 and IPv6 via ftp, http, https, and rsync.

Access to this server is monitored and abusive hosts will be banned.

We are an official mirror for OpenBSD.

All other mirrors are unofficial and may be incomplete.

If you have a request for something we can mirror please send it to esc7infotech@esc7.net, Thank you!

Click here to see bandwidth usage.