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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
Manifest2022-Mar-22 20:39:523.2Kapplication/octet-stream
coq-8.11.2-r1.ebuild2021-Jul-26 13:39:521.8Kapplication/octet-stream
coq-8.12.0-r2.ebuild2021-Dec-07 07:40:101.8Kapplication/octet-stream
coq-8.13.0-r1.ebuild2021-Jul-26 13:39:521.7Kapplication/octet-stream
coq-8.15.0-r2.ebuild2022-Mar-13 14:39:562.3Kapplication/octet-stream
coq-8.15.1.ebuild2022-Mar-22 20:39:522.3Kapplication/octet-stream
metadata.xml2022-Feb-27 05:09:521.0Ktext/xml
ISPpro Internet KG isppro.de | euserv.de | kos-online.de | keepfree.de