Welcome to the NetCologne GmbH open source mirroring service!

This machine mirrors various open-source projects. 2 Gbit/s uplink. Will be upgraded soon...

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                                           11-Sep-2021 13:40    3037
coq-8.11.2-r1.ebuild                               26-Jul-2021 11:39    1845
coq-8.11.2.ebuild                                  09-Feb-2021 17:39    1828
coq-8.12.0-r1.ebuild                               06-Apr-2021 19:09    1830
coq-8.12.0-r2.ebuild                               26-Jul-2021 11:39    1849
coq-8.13.0-r1.ebuild                               26-Jul-2021 11:39    1821
coq-8.13.0.ebuild                                  06-Apr-2021 19:09    1804
metadata.xml                                       11-Sep-2021 13:40     939