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