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                                                       -   
 libcoq-mathcomp-algebra_1.14.0-7_all.deb          2022-02-17 06:11  7.0M  
 libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb   2024-04-08 14:14  9.8M  
 libcoq-mathcomp-algebra_2.2.0-2build6_amd64.deb   2024-09-19 22:54   11M  
 libcoq-mathcomp-algebra_2.3.0-1build8_amd64.deb   2025-02-19 23:02   13M  
 libcoq-mathcomp-character_1.14.0-7_all.deb        2022-02-17 06:11  4.4M  
 libcoq-mathcomp-character_2.1.0-1build4_amd64.deb 2024-04-08 14:14  4.2M  
 libcoq-mathcomp-character_2.2.0-2build6_amd64.deb 2024-09-19 22:54  4.5M  
 libcoq-mathcomp-character_2.3.0-1build8_amd64.deb 2025-02-19 23:02  4.6M  
 libcoq-mathcomp-field_1.14.0-7_all.deb            2022-02-17 06:11  3.0M  
 libcoq-mathcomp-field_2.1.0-1build4_amd64.deb     2024-04-08 14:14  3.2M  
 libcoq-mathcomp-field_2.2.0-2build6_amd64.deb     2024-09-19 22:54  3.5M  
 libcoq-mathcomp-field_2.3.0-1build8_amd64.deb     2025-02-19 23:02  3.6M  
 libcoq-mathcomp-fingroup_1.14.0-7_all.deb         2022-02-17 06:11  2.0M  
 libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb  2024-04-08 14:14  2.1M  
 libcoq-mathcomp-fingroup_2.2.0-2build6_amd64.deb  2024-09-19 22:54  2.3M  
 libcoq-mathcomp-fingroup_2.3.0-1build8_amd64.deb  2025-02-19 23:02  2.4M  
 libcoq-mathcomp-solvable_1.14.0-7_all.deb         2022-02-17 06:11  5.0M  
 libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb  2024-04-08 14:14  5.0M  
 libcoq-mathcomp-solvable_2.2.0-2build6_amd64.deb  2024-09-19 22:54  5.0M  
 libcoq-mathcomp-solvable_2.3.0-1build8_amd64.deb  2025-02-19 23:02  5.2M  
 libcoq-mathcomp-ssreflect_1.14.0-7_all.deb        2022-02-17 06:11  4.5M  
 libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb 2024-04-08 14:14  6.3M  
 libcoq-mathcomp-ssreflect_2.2.0-2build6_amd64.deb 2024-09-19 22:54  6.6M  
 libcoq-mathcomp-ssreflect_2.3.0-1build8_amd64.deb 2025-02-19 23:02  9.1M  
 libcoq-mathcomp_1.14.0-7_all.deb                  2022-02-17 06:11  2.5M  
 libcoq-mathcomp_2.1.0-1build4_amd64.deb           2024-04-08 14:14  2.4M  
 libcoq-mathcomp_2.2.0-2build6_amd64.deb           2024-09-19 22:54  2.3M  
 libcoq-mathcomp_2.3.0-1build8_amd64.deb           2025-02-19 23:02  2.5M  
 libssreflect-coq_1.10.0+dfsg-2_all.deb            2020-03-19 09:23   25M  
 libssreflect-coq_1.5-3build1_all.deb              2015-11-05 03:58  1.1M  
 libssreflect-coq_1.5~rc1-3_all.deb                2014-01-21 05:53  1.1M  
 libssreflect-coq_1.6.1-3build1_all.deb            2017-10-28 18:03   23M  
 libssreflect-ocaml-dev_1.5-3build1_amd64.deb      2015-11-05 03:58   63K  
 libssreflect-ocaml-dev_1.5-3build1_i386.deb       2015-11-05 03:59   63K  
 libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb        2014-01-21 05:53   60K  
 libssreflect-ocaml-dev_1.5~rc1-3_i386.deb         2014-01-21 05:54   60K  
 libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb    2017-10-28 18:03   59K  
 libssreflect-ocaml-dev_1.6.1-3build1_i386.deb     2017-10-28 18:03   59K  
 libssreflect-ocaml_1.5-3build1_amd64.deb          2015-11-05 03:58  435K  
 libssreflect-ocaml_1.5-3build1_i386.deb           2015-11-05 03:59  384K  
 libssreflect-ocaml_1.5~rc1-3_amd64.deb            2014-01-21 05:53  440K  
 libssreflect-ocaml_1.5~rc1-3_i386.deb             2014-01-21 05:54  382K  
 libssreflect-ocaml_1.6.1-3build1_amd64.deb        2017-10-28 18:03  390K  
 libssreflect-ocaml_1.6.1-3build1_i386.deb         2017-10-28 18:03  340K  
 ssreflect_1.10.0+dfsg-2.debian.tar.xz             2020-03-19 08:48   12K  
 ssreflect_1.10.0+dfsg-2.dsc                       2020-03-19 08:48  2.1K  
 ssreflect_1.10.0+dfsg.orig.tar.gz                 2019-12-06 17:38  1.2M  
 ssreflect_1.14.0-7.debian.tar.xz                  2022-02-17 06:10   12K  
 ssreflect_1.14.0-7.dsc                            2022-02-17 06:10  2.5K  
 ssreflect_1.14.0.orig.tar.gz                      2022-01-24 23:34  1.3M  
 ssreflect_1.5-3build1.debian.tar.xz               2015-11-05 03:48   11K  
 ssreflect_1.5-3build1.dsc                         2015-11-05 03:48  1.9K  
 ssreflect_1.5.orig.tar.gz                         2014-04-26 13:12  213K  
 ssreflect_1.5~rc1-3.debian.tar.xz                 2014-01-21 05:18   11K  
 ssreflect_1.5~rc1-3.dsc                           2014-01-21 05:18  2.2K  
 ssreflect_1.5~rc1.orig.tar.gz                     2013-12-06 17:23  199K  
 ssreflect_1.6.1-3build1.debian.tar.xz             2017-10-28 17:19   12K  
 ssreflect_1.6.1-3build1.dsc                       2017-10-28 17:19  2.2K  
 ssreflect_1.6.1.orig.tar.gz                       2016-12-30 17:13  4.5M  
 ssreflect_2.1.0-1build4.debian.tar.xz             2024-04-01 06:44   13K  
 ssreflect_2.1.0-1build4.dsc                       2024-04-01 06:44  2.6K  
 ssreflect_2.1.0.orig.tar.gz                       2023-12-24 17:26  1.8M  
 ssreflect_2.2.0-2build6.debian.tar.xz             2024-09-17 16:51   13K  
 ssreflect_2.2.0-2build6.dsc                       2024-09-17 16:51  2.6K  
 ssreflect_2.2.0.orig.tar.gz                       2024-05-03 03:35  1.8M  
 ssreflect_2.3.0-1build8.debian.tar.xz             2025-02-19 23:00   13K  
 ssreflect_2.3.0-1build8.dsc                       2025-02-19 23:00  2.7K  
 ssreflect_2.3.0.orig.tar.gz                       2024-12-18 23:41  1.8M