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.4pl3dfsg-1.debian.tar.xz                      2014-01-19 23:18   15K  
 coq_8.4pl3dfsg.orig.tar.gz                          2014-01-19 23:18  3.4M  
 coq_8.4pl3dfsg-1.dsc                                2014-01-19 23:18  2.3K  
 coq-theories_8.4pl3dfsg-1_all.deb                   2014-01-19 23:58   30M  
 libcoq-ocaml_8.4pl3dfsg-1_amd64.deb                 2014-01-19 23:58  1.5M  
 libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb             2014-01-19 23:58  3.5M  
 coqide_8.4pl3dfsg-1_amd64.deb                       2014-01-19 23:58  727K  
 coq_8.4pl3dfsg-1_amd64.deb                          2014-01-19 23:58  3.9M  
 coqide_8.4pl3dfsg-1_i386.deb                        2014-01-19 23:58  662K  
 libcoq-ocaml_8.4pl3dfsg-1_i386.deb                  2014-01-19 23:58  1.4M  
 libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb              2014-01-19 23:58  3.5M  
 coq_8.4pl3dfsg-1_i386.deb                           2014-01-19 23:58  3.6M  
 coq_8.4pl4dfsg.orig.tar.gz                          2014-07-28 00:13  3.4M  
 coq_8.4pl4dfsg-3build2.dsc                          2015-11-04 13:14  2.3K  
 coq_8.4pl4dfsg-3build2.debian.tar.xz                2015-11-04 13:14   16K  
 coqide_8.4pl4dfsg-3build2_i386.deb                  2015-11-04 13:39  695K  
 libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb            2015-11-04 13:39  1.3M  
 coq_8.4pl4dfsg-3build2_i386.deb                     2015-11-04 13:39  3.6M  
 libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb        2015-11-04 13:39  3.6M  
 libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb           2015-11-04 14:04  1.4M  
 coqide_8.4pl4dfsg-3build2_amd64.deb                 2015-11-04 14:04  731K  
 libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb       2015-11-04 14:04  3.5M  
 coq-theories_8.4pl4dfsg-3build2_all.deb             2015-11-04 14:04   31M  
 coq_8.4pl4dfsg-3build2_amd64.deb                    2015-11-04 14:04  3.8M  
 coq_8.6.orig.tar.gz                                 2016-12-28 17:13  4.8M  
 coq_8.6-5build1.debian.tar.xz                       2017-10-28 15:39   21K  
 coq_8.6-5build1.dsc                                 2017-10-28 15:39  2.3K  
 libcoq-ocaml_8.6-5build1_amd64.deb                  2017-10-28 16:34  3.4M  
 coq-theories_8.6-5build1_amd64.deb                  2017-10-28 16:34   32M  
 libcoq-ocaml-dev_8.6-5build1_amd64.deb              2017-10-28 16:34   13M  
 coqide_8.6-5build1_amd64.deb                        2017-10-28 16:34  1.5M  
 coq_8.6-5build1_amd64.deb                           2017-10-28 16:34   17M  
 libcoq-ocaml-dev_8.6-5build1_i386.deb               2017-10-28 16:34   13M  
 coqide_8.6-5build1_i386.deb                         2017-10-28 16:34  1.3M  
 coq_8.6-5build1_i386.deb                            2017-10-28 16:34   16M  
 libcoq-ocaml_8.6-5build1_i386.deb                   2017-10-28 16:34  3.2M  
 coq-theories_8.6-5build1_i386.deb                   2017-10-28 16:34   31M  
 coq_8.11.0-1.dsc                                    2020-03-06 07:53  2.4K  
 coq_8.11.0.orig.tar.gz                              2020-03-06 07:53  5.6M  
 coq_8.11.0-1.debian.tar.xz                          2020-03-06 07:53   31K  
 coq_8.11.0-1_amd64.deb                              2020-03-06 08:38   73M  
 coqide_8.11.0-1_amd64.deb                           2020-03-06 08:38  1.7M  
 coq-theories_8.11.0-1_amd64.deb                     2020-03-06 08:38   32M  
 libcoq-ocaml_8.11.0-1_amd64.deb                     2020-03-06 08:38  6.0M  
 libcoq-ocaml-dev_8.11.0-1_amd64.deb                 2020-03-06 08:38   15M  
 coq_8.15.0+dfsg.orig.tar.xz                         2022-01-17 23:14  4.5M  
 coq_8.15.0+dfsg-2.dsc                               2022-02-05 17:49  2.5K  
 coq_8.15.0+dfsg-2.debian.tar.xz                     2022-02-05 17:49   39K  
 coqide_8.15.0+dfsg-2_amd64.deb                      2022-02-05 23:51  2.3M  
 libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb           2022-02-05 23:51   26M  
 libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb       2022-02-05 23:51   43M  
 libcoq-stdlib_8.15.0+dfsg-2_amd64.deb               2022-02-05 23:51   24M  
 coq_8.15.0+dfsg-2_amd64.deb                         2022-02-05 23:52   91M  
 coq_8.18.0+dfsg.orig.tar.xz                         2023-12-22 19:46  4.6M  
 coq_8.18.0+dfsg-1build2.debian.tar.xz               2024-03-31 19:36   33K  
 coq_8.18.0+dfsg-1build2.dsc                         2024-03-31 19:36  2.6K  
 libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb         2024-03-31 20:32   25M  
 libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb 2024-03-31 20:32   49M  
 libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb     2024-03-31 20:32   26M  
 coqide_8.18.0+dfsg-1build2_amd64.deb                2024-03-31 20:32  2.2M  
 coq_8.18.0+dfsg-1build2_amd64.deb                   2024-03-31 20:32   91M  
 coq_8.19.1+dfsg.orig.tar.bz2                        2024-05-02 12:53  5.3M  
 coq_8.19.1+dfsg-3build3.debian.tar.xz               2024-09-07 08:08   32K  
 coq_8.19.1+dfsg-3build3.dsc                         2024-09-07 08:08  2.5K  
 libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb         2024-09-07 08:09   26M  
 libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb 2024-09-07 08:09   65M  
 libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb     2024-09-07 08:09   25M  
 coqide_8.19.1+dfsg-3build3_amd64.deb                2024-09-07 08:09  2.3M  
 coq_8.19.1+dfsg-3build3_amd64.deb                   2024-09-07 08:09   96M  
 coq_8.20.1+dfsg-1.dsc                               2025-02-18 01:39  2.5K  
 coq_8.20.1+dfsg.orig.tar.xz                         2025-02-18 01:39  4.8M  
 coq_8.20.1+dfsg-1.debian.tar.xz                     2025-02-18 01:39   30K  
 libcoq-stdlib_8.20.1+dfsg-1_amd64.deb               2025-02-18 01:40   26M  
 libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb       2025-02-18 01:40   66M  
 libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb           2025-02-18 01:40   26M  
 coqide_8.20.1+dfsg-1_amd64.deb                      2025-02-18 01:40  2.1M  
 coq_8.20.1+dfsg-1_amd64.deb                         2025-02-18 01:40   78M  
 coq_8.20.1+dfsg-1build1.debian.tar.xz               2025-06-19 12:23   30K  
 coq_8.20.1+dfsg-1build1.dsc                         2025-06-19 12:23  2.5K  
 libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb         2025-06-20 00:39   26M  
 libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb 2025-06-20 00:39   66M  
 libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb     2025-06-20 00:39   26M  
 coqide_8.20.1+dfsg-1build1_amd64.deb                2025-06-20 00:39  2.1M  
 coq_8.20.1+dfsg-1build1_amd64.deb                   2025-06-20 00:39   78M