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