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