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.3.2.2-1_amd64.deb              2013-11-06 17:28  5.2M  
 agda-bin_2.3.2.2-1_i386.deb               2013-11-06 17:28  4.9M  
 agda-bin_2.4.2.5-1build1_amd64.deb        2016-01-12 22:59  4.6M  
 agda-bin_2.4.2.5-1build1_i386.deb         2016-01-12 22:45  4.6M  
 agda-bin_2.5.3-3build1_amd64.deb          2017-11-25 20:09  5.5M  
 agda-bin_2.5.3-3build1_i386.deb           2017-11-25 20:09  5.5M  
 agda-bin_2.6.0.1-1build4_amd64.deb        2020-02-08 13:19  6.3M  
 agda-bin_2.6.1-1build2.1_amd64.deb        2021-09-16 09:28  9.1M  
 agda-bin_2.6.3-1build1_amd64.deb          2023-11-10 20:19   10M  
 agda-bin_2.6.3-2_amd64.deb                2024-09-07 07:18   10M  
 agda-bin_2.6.4.3-1_amd64.deb              2024-10-25 22:15   10M  
 agda-mode_2.3.2.2-1_all.deb               2013-11-06 17:28   47K  
 agda-mode_2.4.2.5-1build1_all.deb         2016-01-12 22:59   36K  
 agda-mode_2.5.3-3build1_all.deb           2017-11-25 20:09  3.5K  
 agda-mode_2.6.0.1-1build4_all.deb         2020-02-08 13:19  3.6K  
 agda_2.3.2.2-1.debian.tar.gz              2013-11-06 17:28  7.2K  
 agda_2.3.2.2-1.dsc                        2013-11-06 17:28  3.2K  
 agda_2.3.2.2-1_all.deb                    2013-11-06 17:28  2.9K  
 agda_2.3.2.2.orig.tar.gz                  2013-11-06 17:28  1.9M  
 agda_2.4.2.5-1build1.debian.tar.xz        2016-01-12 22:30  7.7K  
 agda_2.4.2.5-1build1.dsc                  2016-01-12 22:30  3.7K  
 agda_2.4.2.5-1build1_all.deb              2016-01-12 22:59  2.9K  
 agda_2.4.2.5.orig.tar.gz                  2016-01-04 23:25  1.0M  
 agda_2.5.3-3build1.debian.tar.xz          2017-11-25 19:15  9.6K  
 agda_2.5.3-3build1.dsc                    2017-11-25 19:15  4.5K  
 agda_2.5.3-3build1_all.deb                2017-11-25 20:09  3.0K  
 agda_2.5.3.orig.tar.gz                    2017-11-01 13:05  1.1M  
 agda_2.6.0.1-1build4.debian.tar.xz        2020-02-08 11:38   10K  
 agda_2.6.0.1-1build4.dsc                  2020-02-08 11:38  4.2K  
 agda_2.6.0.1-1build4_all.deb              2020-02-08 13:19  4.0K  
 agda_2.6.0.1.orig.tar.gz                  2019-09-01 13:43  2.3M  
 agda_2.6.1-1build2.1.debian.tar.xz        2021-09-16 08:39   10K  
 agda_2.6.1-1build2.1.dsc                  2021-09-16 08:39  4.2K  
 agda_2.6.1-1build2.1_all.deb              2021-09-16 09:28  4.0K  
 agda_2.6.1.orig.tar.gz                    2020-07-30 00:19  2.5M  
 agda_2.6.3-1build1.debian.tar.xz          2023-11-08 09:36   11K  
 agda_2.6.3-1build1.dsc                    2023-11-08 09:36  4.8K  
 agda_2.6.3-1build1_all.deb                2023-11-10 20:19  3.7K  
 agda_2.6.3-2.debian.tar.xz                2024-09-07 07:18   11K  
 agda_2.6.3-2.dsc                          2024-09-07 07:18  4.8K  
 agda_2.6.3-2_all.deb                      2024-09-07 07:18  3.6K  
 agda_2.6.3.orig.tar.gz                    2023-10-26 16:43  1.7M  
 agda_2.6.4.3-1.debian.tar.xz              2024-10-25 20:11   10K  
 agda_2.6.4.3-1.dsc                        2024-10-25 20:11  5.1K  
 agda_2.6.4.3-1_all.deb                    2024-10-25 22:15  3.6K  
 agda_2.6.4.3.orig.tar.gz                  2024-10-25 20:11  1.8M  
 elpa-agda2-mode_2.5.3-3build1_all.deb     2017-11-25 20:09   40K  
 elpa-agda2-mode_2.6.0.1-1build4_all.deb   2020-02-08 13:19   40K  
 elpa-agda2-mode_2.6.1-1build2.1_all.deb   2021-09-16 09:28   45K  
 elpa-agda2-mode_2.6.3-1build1_all.deb     2023-11-10 20:19   45K  
 elpa-agda2-mode_2.6.3-2_all.deb           2024-09-07 07:18   45K  
 elpa-agda2-mode_2.6.4.3-1_all.deb         2024-10-25 22:15   45K  
 libghc-agda-dev_2.3.2.2-1_amd64.deb       2013-11-06 17:28   13M  
 libghc-agda-dev_2.3.2.2-1_i386.deb        2013-11-06 17:28   12M  
 libghc-agda-dev_2.4.2.5-1build1_amd64.deb 2016-01-12 22:59   10M  
 libghc-agda-dev_2.4.2.5-1build1_i386.deb  2016-01-12 22:45   10M  
 libghc-agda-dev_2.5.3-3build1_amd64.deb   2017-11-25 20:09   15M  
 libghc-agda-dev_2.5.3-3build1_i386.deb    2017-11-25 20:09   15M  
 libghc-agda-dev_2.6.0.1-1build4_amd64.deb 2020-02-08 13:19   19M  
 libghc-agda-dev_2.6.1-1build2.1_amd64.deb 2021-09-16 09:28   38M  
 libghc-agda-dev_2.6.3-1build1_amd64.deb   2023-11-10 20:19   24M  
 libghc-agda-dev_2.6.3-2_amd64.deb         2024-09-07 07:18   24M  
 libghc-agda-dev_2.6.4.3-1_amd64.deb       2024-10-25 22:15   23M  
 libghc-agda-doc_2.3.2.2-1_all.deb         2013-11-06 17:28  2.1M  
 libghc-agda-doc_2.4.2.5-1build1_all.deb   2016-01-12 22:59  2.1M  
 libghc-agda-doc_2.5.3-3build1_all.deb     2017-11-25 20:09  2.6M  
 libghc-agda-doc_2.6.0.1-1build4_all.deb   2020-02-08 13:19  4.0M  
 libghc-agda-doc_2.6.1-1build2.1_all.deb   2021-09-16 09:28  5.2M  
 libghc-agda-doc_2.6.3-1build1_all.deb     2023-11-10 20:19  6.0M  
 libghc-agda-doc_2.6.3-2_all.deb           2024-09-07 07:18  5.9M  
 libghc-agda-doc_2.6.4.3-1_all.deb         2024-10-25 22:15  6.4M