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                                                 -   
 cbmc_4.5-2ubuntu2.debian.tar.gz             2013-10-28 21:18  6.3K  
 cbmc_4.5-2ubuntu2.dsc                       2013-10-28 21:18  1.1K  
 cbmc_4.5-2ubuntu2_amd64.deb                 2013-10-28 21:38  5.4M  
 cbmc_4.5-2ubuntu2_i386.deb                  2013-10-28 21:38  5.4M  
 cbmc_4.5.orig.tar.gz                        2013-10-28 17:33  3.6M  
 cbmc_5.10-5ubuntu1.debian.tar.xz            2020-04-14 10:08   13K  
 cbmc_5.10-5ubuntu1.dsc                      2020-04-14 10:08  2.2K  
 cbmc_5.10-5ubuntu1_amd64.deb                2020-04-14 10:41   10M  
 cbmc_5.10.orig-java-models-library.tar.gz   2018-11-09 06:53  169K  
 cbmc_5.10.orig.tar.gz                       2018-11-09 06:53  6.1M  
 cbmc_5.12-5.debian.tar.xz                   2020-05-05 00:13   15K  
 cbmc_5.12-5.dsc                             2020-05-05 00:13  2.2K  
 cbmc_5.12-5_amd64.deb                       2020-05-05 01:58   17M  
 cbmc_5.12.orig-java-models-library.tar.gz   2020-05-02 15:33  297K  
 cbmc_5.12.orig.tar.gz                       2020-05-02 15:33  6.9M  
 cbmc_5.3-1.debian.tar.xz                    2016-01-21 05:25  9.5K  
 cbmc_5.3-1.dsc                              2016-01-21 05:25  1.7K  
 cbmc_5.3-1_amd64.deb                        2016-01-21 05:44  2.9M  
 cbmc_5.3-1_i386.deb                         2016-01-21 05:45  2.8M  
 cbmc_5.3.orig.tar.gz                        2016-01-21 05:25  5.0M  
 cbmc_5.6-1.debian.tar.xz                    2016-12-04 17:18   10K  
 cbmc_5.6-1.dsc                              2016-12-04 17:18  1.7K  
 cbmc_5.6-1_amd64.deb                        2016-12-04 18:03  3.8M  
 cbmc_5.6-1_i386.deb                         2016-12-04 18:03  3.7M  
 cbmc_5.6.orig.tar.gz                        2016-12-04 17:18  5.2M  
 cbmc_5.95.1-4ubuntu1.debian.tar.xz          2024-04-23 18:04   15K  
 cbmc_5.95.1-4ubuntu1.dsc                    2024-04-23 18:04  3.1K  
 cbmc_5.95.1-4ubuntu1_amd64.deb              2024-04-23 19:04   20M  
 cbmc_5.95.1.orig-java-cprover-api.tar.gz    2024-02-16 17:43   14K  
 cbmc_5.95.1.orig-java-models-library.tar.gz 2024-02-16 17:43  292K  
 cbmc_5.95.1.orig.tar.gz                     2024-02-16 17:43  8.7M  
 cbmc_6.1.1-2.debian.tar.xz                  2024-08-02 19:28   18K  
 cbmc_6.1.1-2.dsc                            2024-08-02 19:28  3.0K  
 cbmc_6.1.1-2_amd64.deb                      2024-08-02 20:37   22M  
 cbmc_6.1.1.orig-java-cprover-api.tar.gz     2024-08-02 07:07   14K  
 cbmc_6.1.1.orig-java-models-library.tar.gz  2024-08-02 07:07  292K  
 cbmc_6.1.1.orig.tar.gz                      2024-08-02 07:07  8.7M  
 cbmc_6.4.1-2.debian.tar.xz                  2025-01-22 18:28   18K  
 cbmc_6.4.1-2.dsc                            2025-01-22 18:28  3.0K  
 cbmc_6.4.1-2_amd64.deb                      2025-01-22 19:44   25M  
 cbmc_6.4.1.orig-java-cprover-api.tar.gz     2025-01-22 05:31   14K  
 cbmc_6.4.1.orig-java-models-library.tar.gz  2025-01-22 05:31  292K  
 cbmc_6.4.1.orig.tar.gz                      2025-01-22 05:31  8.7M  
 cbmc_6.6.0-4.debian.tar.xz                  2025-05-01 17:24   16K  
 cbmc_6.6.0-4.dsc                            2025-05-01 17:24  3.1K  
 cbmc_6.6.0-4_amd64.deb                      2025-05-02 02:53   22M  
 cbmc_6.6.0.orig-java-cprover-api.tar.gz     2025-05-01 17:24   14K  
 cbmc_6.6.0.orig-java-models-library.tar.gz  2025-05-01 17:24  292K  
 cbmc_6.6.0.orig.tar.gz                      2025-05-01 17:24  8.7M  
 jbmc_5.95.1-4ubuntu1_amd64.deb              2024-04-23 19:04  7.9M  
 jbmc_6.1.1-2_amd64.deb                      2024-08-02 20:37  8.5M  
 jbmc_6.4.1-2_amd64.deb                      2025-01-22 19:44  9.6M  
 jbmc_6.6.0-4_amd64.deb                      2025-05-02 02:53  8.5M