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                                                 -   
 libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb 2018-04-07 03:19  1.8M  
 libwhy3-ocaml-dev_0.88.3-1ubuntu4_i386.deb  2018-04-07 03:19  1.7M  
 libwhy3-ocaml-dev_1.2.1-6_amd64.deb         2020-03-12 14:18  7.6M  
 libwhy3-ocaml-dev_1.6.0-1build7_amd64.deb   2024-04-01 06:45   13M  
 libwhy3-ocaml-dev_1.7.2-2build1_amd64.deb   2024-09-06 17:41   13M  
 why3-coq_0.88.3-1ubuntu4_amd64.deb          2018-04-07 03:19  2.0M  
 why3-coq_0.88.3-1ubuntu4_i386.deb           2018-04-07 03:19  1.8M  
 why3-coq_1.2.1-6_amd64.deb                  2020-03-12 14:18  569K  
 why3-doc-html_0.88.3-1ubuntu4_all.deb       2018-04-07 03:19  355K  
 why3-doc-html_1.2.1-6_all.deb               2020-03-12 14:18  290K  
 why3-doc-html_1.6.0-1build7_all.deb         2024-04-01 06:45  753K  
 why3-doc-html_1.7.2-2build1_all.deb         2024-09-06 17:41  773K  
 why3-doc-pdf_0.88.3-1ubuntu4_all.deb        2018-04-07 03:19  1.2M  
 why3-doc-pdf_1.2.1-6_all.deb                2020-03-12 14:18  1.2M  
 why3-doc-pdf_1.6.0-1build7_all.deb          2024-04-01 06:45  1.3M  
 why3-doc-pdf_1.7.2-2build1_all.deb          2024-09-06 17:41  1.3M  
 why3-examples_0.88.3-1ubuntu4_all.deb       2018-04-07 03:19  1.5M  
 why3-examples_1.2.1-6_all.deb               2020-03-12 14:18  2.3M  
 why3-examples_1.6.0-1build7_all.deb         2024-04-01 06:45  3.8M  
 why3-examples_1.7.2-2build1_all.deb         2024-09-06 17:41  3.8M  
 why3_0.88.3-1ubuntu4.debian.tar.xz          2018-04-07 03:19   13K  
 why3_0.88.3-1ubuntu4.dsc                    2018-04-07 03:19  2.7K  
 why3_0.88.3-1ubuntu4_amd64.deb              2018-04-07 03:19   20M  
 why3_0.88.3-1ubuntu4_i386.deb               2018-04-07 03:19   12M  
 why3_0.88.3.orig.tar.gz                     2018-01-30 10:34  4.0M  
 why3_1.2.1-6.debian.tar.xz                  2020-03-12 14:08   23K  
 why3_1.2.1-6.dsc                            2020-03-12 14:08  2.7K  
 why3_1.2.1-6_amd64.deb                      2020-03-12 14:18   29M  
 why3_1.2.1.orig.tar.gz                      2019-10-31 09:18  5.7M  
 why3_1.6.0-1build7.debian.tar.xz            2024-04-01 06:44   18K  
 why3_1.6.0-1build7.dsc                      2024-04-01 06:44  2.7K  
 why3_1.6.0-1build7_amd64.deb                2024-04-01 06:45   13M  
 why3_1.6.0.orig.tar.gz                      2023-09-11 10:44  6.5M  
 why3_1.7.2-2build1.debian.tar.xz            2024-09-06 16:36   18K  
 why3_1.7.2-2build1.dsc                      2024-09-06 16:36  2.6K  
 why3_1.7.2-2build1_amd64.deb                2024-09-06 17:41   11M  
 why3_1.7.2.orig.tar.bz2                     2024-08-12 18:33  6.0M