Welcome to the NetCologne GmbH open source mirroring service!

This machine mirrors various open-source projects. 20 Gbit/s uplink.

If there are any issues or you want another project mirrored, please contact mirror-service -=AT=- netcologne DOT de !

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

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


../
Manifest                                           22-Mar-2022 19:39    3343
coq-8.11.2-r1.ebuild                               26-Jul-2021 11:39    1845
coq-8.12.0-r2.ebuild                               07-Dec-2021 06:40    1847
coq-8.13.0-r1.ebuild                               26-Jul-2021 11:39    1821
coq-8.15.0-r2.ebuild                               13-Mar-2022 13:39    2396
coq-8.15.1.ebuild                                  22-Mar-2022 19:39    2396
metadata.xml                                       27-Feb-2022 04:09    1047