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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
metadata.xml 12542025-Sep-28 15:42
coq-9.1.0-r1.ebuild 27512025-Sep-28 15:42
coq-9.0.0.ebuild 27362025-Sep-28 15:42
coq-8.20.0-r1.ebuild 29322025-Sep-28 15:42
coq-8.19.2-r1.ebuild 25222025-Sep-28 15:42
coq-8.17.1-r1.ebuild 25232025-Sep-28 15:42
Manifest 33392025-Sep-28 15:42
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se