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_8.16.1+dfsg-1+b2_amd64.deb                   2023-02-13 01:14   89M  
 coq_8.12.0-3+b3_amd64.deb                        2020-11-25 07:28   86M  
 coq_8.20.1+dfsg-1+b1_amd64.deb                   2025-06-15 02:07   67M  
 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 2025-06-15 02:07   66M  
 coq_8.9.0-1_amd64.deb                            2019-02-06 18:49   56M  
 libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 2023-02-13 01:14   41M  
 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  
 libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb     2025-06-15 02:07   25M  
 libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb         2025-06-15 02:07   22M  
 libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb     2023-02-13 01:14   22M  
 libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb         2023-02-13 01:14   21M  
 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  
 coq_8.12.0.orig.tar.gz                           2020-08-22 10:26  5.7M  
 libcoq-ocaml_8.9.0-1_amd64.deb                   2019-02-06 18:49  5.2M  
 coq_8.9.0.orig.tar.gz                            2019-02-06 18:49  5.1M  
 coq_8.20.1+dfsg.orig.tar.xz                      2025-02-17 16:37  4.8M  
 coq_8.16.1+dfsg.orig.tar.xz                      2022-11-29 08:35  4.5M  
 coqide_8.16.1+dfsg-1+b2_amd64.deb                2023-02-13 01:14  1.9M  
 coqide_8.20.1+dfsg-1+b1_amd64.deb                2025-06-15 02:07  1.8M  
 coqide_8.12.0-3+b3_amd64.deb                     2020-11-25 07:28  1.8M  
 coq_8.12.0-3.debian.tar.xz                       2020-09-10 07:38   37K  
 coq_8.16.1+dfsg-1.debian.tar.xz                  2022-11-29 08:35   32K  
 coq_8.20.1+dfsg-1.debian.tar.xz                  2025-02-17 16:37   30K  
 coq_8.9.0-1.debian.tar.xz                        2019-02-06 18:49   27K  
 coq_8.16.1+dfsg-1.dsc                            2022-11-29 08:35  2.6K  
 coq_8.20.1+dfsg-1.dsc                            2025-02-17 16:37  2.5K  
 coq_8.12.0-3.dsc                                 2020-09-10 07:38  2.4K  
 coq_8.9.0-1.dsc                                  2019-02-06 18:49  2.4K