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-stdlib-doc_0.11-1_all.deb    2016-01-05 01:20  1.2M  
 agda-stdlib-doc_0.14-1_all.deb    2017-11-26 18:04  1.0M  
 agda-stdlib-doc_0.7-2_all.deb     2013-05-28 00:33  1.7M  
 agda-stdlib-doc_1.1-1_all.deb     2019-09-06 16:48  1.8M  
 agda-stdlib-doc_1.3-2_all.deb     2020-08-02 06:43  2.3M  
 agda-stdlib-doc_1.7.3-1_all.deb   2023-11-10 23:50  2.8M  
 agda-stdlib-doc_2.1-4_all.deb     2024-11-26 00:17  3.5M  
 agda-stdlib_0.11-1.debian.tar.xz  2016-01-04 23:25  4.5K  
 agda-stdlib_0.11-1.dsc            2016-01-04 23:25  2.1K  
 agda-stdlib_0.11-1_all.deb        2016-01-05 01:20   17M  
 agda-stdlib_0.11.orig.tar.gz      2016-01-04 23:25  247K  
 agda-stdlib_0.14-1.debian.tar.xz  2017-11-26 17:08  5.1K  
 agda-stdlib_0.14-1.dsc            2017-11-26 17:08  2.1K  
 agda-stdlib_0.14-1_all.deb        2017-11-26 18:04   17M  
 agda-stdlib_0.14.orig.tar.gz      2017-11-26 11:14  279K  
 agda-stdlib_0.7-2.debian.tar.gz   2013-05-28 00:33  4.4K  
 agda-stdlib_0.7-2.dsc             2013-05-28 00:33  2.0K  
 agda-stdlib_0.7-2_all.deb         2013-05-28 00:33   17M  
 agda-stdlib_0.7.orig.tar.gz       2013-04-10 19:03  221K  
 agda-stdlib_1.1-1.debian.tar.xz   2019-09-06 16:48  5.4K  
 agda-stdlib_1.1-1.dsc             2019-09-06 16:48  2.1K  
 agda-stdlib_1.1-1_all.deb         2019-09-06 16:48   45M  
 agda-stdlib_1.1.orig.tar.gz       2019-09-04 14:38  557K  
 agda-stdlib_1.3-2.debian.tar.xz   2020-08-02 06:13  5.5K  
 agda-stdlib_1.3-2.dsc             2020-08-02 06:13  2.1K  
 agda-stdlib_1.3-2_all.deb         2020-08-02 06:43   70M  
 agda-stdlib_1.3.orig.tar.gz       2020-08-02 00:33  734K  
 agda-stdlib_1.7.3-1.debian.tar.xz 2023-11-04 18:15  5.6K  
 agda-stdlib_1.7.3-1.dsc           2023-11-04 18:15  2.1K  
 agda-stdlib_1.7.3-1_all.deb       2023-11-10 23:50  115M  
 agda-stdlib_1.7.3.orig.tar.gz     2023-11-04 18:15  920K  
 agda-stdlib_2.1-4.debian.tar.xz   2024-11-26 00:17  5.9K  
 agda-stdlib_2.1-4.dsc             2024-11-26 00:17  2.2K  
 agda-stdlib_2.1-4_all.deb         2024-11-26 00:17  140M  
 agda-stdlib_2.1.orig.tar.gz       2024-10-31 17:16  1.2M