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.17-1_all.deb    2018-11-24 01:48  1.3M  
 agda-stdlib-doc_1.3-2_all.deb     2020-08-01 14:34  2.3M  
 agda-stdlib-doc_1.7.1-1_all.deb   2022-08-06 19:46  2.9M  
 agda-stdlib-doc_2.1-4_all.deb     2024-11-25 19:39  3.6M  
 agda-stdlib_0.17-1.debian.tar.xz  2018-11-24 01:07  5.2K  
 agda-stdlib_0.17-1.dsc            2018-11-24 01:07  2.2K  
 agda-stdlib_0.17-1_all.deb        2018-11-24 01:48   31M  
 agda-stdlib_0.17.orig.tar.gz      2018-11-24 01:07  388K  
 agda-stdlib_1.3-2.debian.tar.xz   2020-08-01 13:54  5.5K  
 agda-stdlib_1.3-2.dsc             2020-08-01 13:54  2.1K  
 agda-stdlib_1.3-2_all.deb         2020-08-01 14:34   70M  
 agda-stdlib_1.3.orig.tar.gz       2020-07-31 12:50  734K  
 agda-stdlib_1.7.1-1.debian.tar.xz 2022-08-06 18:10  5.5K  
 agda-stdlib_1.7.1-1.dsc           2022-08-06 18:10  2.1K  
 agda-stdlib_1.7.1-1_all.deb       2022-08-06 19:46   95M  
 agda-stdlib_1.7.1.orig.tar.gz     2022-08-06 18:10  918K  
 agda-stdlib_2.1-4.debian.tar.xz   2024-11-25 19:03  5.9K  
 agda-stdlib_2.1-4.dsc             2024-11-25 19:03  2.2K  
 agda-stdlib_2.1-4_all.deb         2024-11-25 19:39  137M  
 agda-stdlib_2.1.orig.tar.gz       2024-10-18 22:34  1.2M