This is a free service run by Coreix. Coreix is a UK centric leading, IT services company known for its exceptional service and response times. Our primary focus is instant deployment virtualisation solutions such as public cloud and VPS/VDS. In addition to core cloud services we also provide hosting, colocation, infrastructure fully managed services as well as remote working to businesses across the globe. If you're looking for secure, robust, high quality IT and hosting solutions.

MIRRORS DIRECTORY LISTING

COREIX CLOUD PORTAL LOGIN

Cloud and VPS/VDS Services - Coreix Virtualisation Services

Affiliate Registration | Learn more

Follow @coreixnet

 Name                                             Last modified      Size  
 Parent Directory                                                      -   
 coq-theories_8.12.0-3+b3_amd64.deb               2020-11-25 07:28   35M  
 coq-theories_8.9.0-1_amd64.deb                   2019-02-06 18:49   28M  
 coq_8.12.0-3+b3_amd64.deb                        2020-11-25 07:28   86M  
 coq_8.12.0-3.debian.tar.xz                       2020-09-10 07:38   37K  
 coq_8.12.0-3.dsc                                 2020-09-10 07:38  2.4K  
 coq_8.12.0.orig.tar.gz                           2020-08-22 10:26  5.7M  
 coq_8.16.1+dfsg-1+b2_amd64.deb                   2023-02-13 01:14   89M  
 coq_8.16.1+dfsg-1.debian.tar.xz                  2022-11-29 08:35   32K  
 coq_8.16.1+dfsg-1.dsc                            2022-11-29 08:35  2.6K  
 coq_8.16.1+dfsg.orig.tar.xz                      2022-11-29 08:35  4.5M  
 coq_8.19.1+dfsg-3+b2_amd64.deb                   2024-08-20 19:10   83M  
 coq_8.19.1+dfsg-3.debian.tar.xz                  2024-08-03 08:53   32K  
 coq_8.19.1+dfsg-3.dsc                            2024-08-03 08:53  2.3K  
 coq_8.19.1+dfsg.orig.tar.bz2                     2024-04-26 14:46  5.3M  
 coq_8.9.0-1.debian.tar.xz                        2019-02-06 18:49   27K  
 coq_8.9.0-1.dsc                                  2019-02-06 18:49  2.4K  
 coq_8.9.0-1_amd64.deb                            2019-02-06 18:49   56M  
 coq_8.9.0.orig.tar.gz                            2019-02-06 18:49  5.1M  
 coqide_8.12.0-3+b3_amd64.deb                     2020-11-25 07:28  1.8M  
 coqide_8.16.1+dfsg-1+b2_amd64.deb                2023-02-13 01:14  1.9M  
 coqide_8.19.1+dfsg-3+b2_amd64.deb                2024-08-20 19:10  2.1M  
 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 2023-02-13 01:14   41M  
 libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb 2024-08-20 19:10   64M  
 libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb     2023-02-13 01:14   22M  
 libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb     2024-08-20 19:10   24M  
 libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb           2020-11-25 07:28   18M  
 libcoq-ocaml-dev_8.9.0-1_amd64.deb               2019-02-06 18:49   13M  
 libcoq-ocaml_8.12.0-3+b3_amd64.deb               2020-11-25 07:28  7.4M  
 libcoq-ocaml_8.9.0-1_amd64.deb                   2019-02-06 18:49  5.2M  
 libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb         2023-02-13 01:14   21M  
 libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb         2024-08-20 19:10   23M