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                                            -   
 agda-bin_2.5.4.1-3+b1_amd64.deb        2018-12-04 10:59  5.6M  
 agda-bin_2.6.1-1+b2_amd64.deb          2020-08-19 20:59  8.5M  
 agda-bin_2.6.2.2-1.1_amd64.deb         2022-12-06 17:57  7.4M  
 agda-bin_2.6.4.3-1_amd64.deb           2024-10-08 12:17  9.4M  
 agda-mode_2.5.4.1-3_all.deb            2018-10-20 22:57  115K  
 agda_2.5.4.1-3.debian.tar.xz           2018-10-20 21:41  9.7K  
 agda_2.5.4.1-3.dsc                     2018-10-20 21:41  3.8K  
 agda_2.5.4.1-3_all.deb                 2018-10-20 22:57  115K  
 agda_2.5.4.1.orig.tar.gz               2018-09-30 11:54  1.9M  
 agda_2.6.1-1.debian.tar.xz             2020-07-29 16:40  9.8K  
 agda_2.6.1-1.dsc                       2020-07-29 16:40  4.1K  
 agda_2.6.1-1_all.deb                   2020-07-29 17:40   28K  
 agda_2.6.1.orig.tar.gz                 2020-07-29 16:40  2.5M  
 agda_2.6.2.2-1.1.debian.tar.xz         2022-12-06 16:40   10K  
 agda_2.6.2.2-1.1.dsc                   2022-12-06 16:40  4.3K  
 agda_2.6.2.2-1.1_all.deb               2022-12-06 17:41   12K  
 agda_2.6.2.2.orig.tar.gz               2022-08-06 18:04  1.6M  
 agda_2.6.4.3-1.debian.tar.xz           2024-10-08 11:41   10K  
 agda_2.6.4.3-1.dsc                     2024-10-08 11:41  5.1K  
 agda_2.6.4.3-1_all.deb                 2024-10-08 12:23   12K  
 agda_2.6.4.3.orig.tar.gz               2024-10-08 11:41  1.8M  
 elpa-agda2-mode_2.5.4.1-3_all.deb      2018-10-20 22:57  152K  
 elpa-agda2-mode_2.6.1-1_all.deb        2020-07-29 17:40   65K  
 elpa-agda2-mode_2.6.2.2-1.1_all.deb    2022-12-06 17:41   50K  
 elpa-agda2-mode_2.6.4.3-1_all.deb      2024-10-08 12:23   50K  
 libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 2018-12-04 10:59   16M  
 libghc-agda-dev_2.6.1-1+b2_amd64.deb   2020-08-19 20:59   36M  
 libghc-agda-dev_2.6.2.2-1.1_amd64.deb  2022-12-06 17:57   24M  
 libghc-agda-dev_2.6.4.3-1_amd64.deb    2024-10-08 12:17   22M  
 libghc-agda-doc_2.5.4.1-3_all.deb      2018-10-20 22:57  3.6M  
 libghc-agda-doc_2.6.1-1_all.deb        2020-07-29 17:40  5.5M  
 libghc-agda-doc_2.6.2.2-1.1_all.deb    2022-12-06 17:41  6.3M  
 libghc-agda-doc_2.6.4.3-1_all.deb      2024-10-08 12:23  7.1M