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 |
|
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-1build1_amd64.deb 2024-12-20 05: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-1build1_amd64.deb 2024-12-20 05: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-1build1_amd64.deb 2024-12-20 05:02 3.7M 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-1build1_amd64.deb 2024-12-20 05: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-1build1_amd64.deb 2024-12-20 05: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-1build1_amd64.deb 2024-12-20 05: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-1build1_amd64.deb 2024-12-20 05: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-1build1.debian.tar.xz 2024-12-20 04:00 12K ssreflect_2.3.0-1build1.dsc 2024-12-20 04:00 2.6K ssreflect_2.3.0.orig.tar.gz 2024-12-18 23:41 1.8M