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                                                    -   
 aac-tactics_0.4.orig.tar.gz                    2013-12-06 17:23   76K  
 aac-tactics_0.4-2.debian.tar.xz                2014-01-20 11:09  2.8K  
 aac-tactics_0.4-2.dsc                          2014-01-20 11:09  2.1K  
 libaac-tactics-ocaml-dev_0.4-2_amd64.deb       2014-01-20 11:33   43K  
 libaac-tactics-ocaml_0.4-2_amd64.deb           2014-01-20 11:33  125K  
 libaac-tactics-coq_0.4-2_all.deb               2014-01-20 11:33  208K  
 libaac-tactics-ocaml-dev_0.4-2_i386.deb        2014-01-20 11:33   43K  
 libaac-tactics-ocaml_0.4-2_i386.deb            2014-01-20 11:33  114K  
 aac-tactics_0.4-5build2.dsc                    2015-11-05 00:30  1.9K  
 aac-tactics_0.4-5build2.debian.tar.xz          2015-11-05 00:30  3.0K  
 libaac-tactics-ocaml_0.4-5build2_amd64.deb     2015-11-05 00:33  117K  
 libaac-tactics-coq_0.4-5build2_all.deb         2015-11-05 00:33  208K  
 libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 2015-11-05 00:33   43K  
 libaac-tactics-ocaml_0.4-5build2_i386.deb      2015-11-05 00:34  109K  
 libaac-tactics-ocaml-dev_0.4-5build2_i386.deb  2015-11-05 00:34   43K  
 aac-tactics_8.6.1.orig.tar.gz                  2016-12-30 17:13   73K  
 aac-tactics_8.6.1-2.dsc                        2017-11-01 13:05  2.2K  
 aac-tactics_8.6.1-2.debian.tar.xz              2017-11-01 13:05  3.2K  
 libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb     2017-11-01 13:05   37K  
 libaac-tactics-coq_8.6.1-2_all.deb             2017-11-01 13:05  216K  
 libaac-tactics-ocaml_8.6.1-2_amd64.deb         2017-11-01 13:05  117K  
 libaac-tactics-ocaml_8.6.1-2_i386.deb          2017-11-01 13:05  108K  
 libaac-tactics-ocaml-dev_8.6.1-2_i386.deb      2017-11-01 13:05   37K  
 aac-tactics_8.11.0-1.dsc                       2020-03-18 18:28  2.1K  
 aac-tactics_8.11.0.orig.tar.gz                 2020-03-18 18:28   64K  
 aac-tactics_8.11.0-1.debian.tar.xz             2020-03-18 18:28  3.4K  
 libaac-tactics-ocaml_8.11.0-1_amd64.deb        2020-03-18 19:48  104K  
 libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb    2020-03-18 19:48   38K  
 libaac-tactics-coq_8.11.0-1_all.deb            2020-03-18 19:48  238K  
 aac-tactics_8.15.0-1.dsc                       2022-02-06 17:19  2.2K  
 aac-tactics_8.15.0.orig.tar.gz                 2022-02-06 17:19   67K  
 aac-tactics_8.15.0-1.debian.tar.xz             2022-02-06 17:19  3.5K  
 libaac-tactics-ocaml_8.15.0-1_amd64.deb        2022-02-06 19:04  128K  
 libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb    2022-02-06 19:04   40K  
 libaac-tactics-coq_8.15.0-1_all.deb            2022-02-06 19:04  282K  
 aac-tactics_8.18.0.orig.tar.gz                 2023-12-21 23:52   74K  
 aac-tactics_8.18.0-1build3.debian.tar.xz       2024-04-08 08:57  3.8K  
 aac-tactics_8.18.0-1build3.dsc                 2024-04-08 08:57  2.1K  
 libcoq-aac-tactics_8.18.0-1build3_amd64.deb    2024-04-08 08:57  412K  
 aac-tactics_8.19.1.orig.tar.gz                 2024-06-11 18:54   75K  
 aac-tactics_8.19.1-2build3.debian.tar.xz       2024-09-07 16:43  3.8K  
 aac-tactics_8.19.1-2build3.dsc                 2024-09-07 16:43  2.1K  
 libcoq-aac-tactics_8.19.1-2build3_amd64.deb    2024-09-07 16:44  430K  
 aac-tactics_8.20.0.orig.tar.gz                 2024-11-20 18:47   76K  
 aac-tactics_8.20.0-1build3.debian.tar.xz       2025-02-18 21:25  3.9K  
 aac-tactics_8.20.0-1build3.dsc                 2025-02-18 21:25  2.1K  
 libcoq-aac-tactics_8.20.0-1build3_amd64.deb    2025-02-18 21:25  421K  
 aac-tactics_8.20.0-1build4.debian.tar.xz       2025-06-19 18:20  3.9K  
 aac-tactics_8.20.0-1build4.dsc                 2025-06-19 18:20  2.1K  
 libcoq-aac-tactics_8.20.0-1build4_amd64.deb    2025-06-20 05:01  420K