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