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 - agda-bin_2.3.2.2-1_amd64.deb 2013-11-06 17:28 5.2M agda-bin_2.3.2.2-1_i386.deb 2013-11-06 17:28 4.9M agda-bin_2.4.2.5-1build1_amd64.deb 2016-01-12 22:59 4.6M agda-bin_2.4.2.5-1build1_i386.deb 2016-01-12 22:45 4.6M agda-bin_2.5.3-3build1_amd64.deb 2017-11-25 20:09 5.5M agda-bin_2.5.3-3build1_i386.deb 2017-11-25 20:09 5.5M agda-bin_2.6.0.1-1build4_amd64.deb 2020-02-08 13:19 6.3M agda-bin_2.6.1-1build2.1_amd64.deb 2021-09-16 09:28 9.1M agda-bin_2.6.2.2-1.1build1_amd64.deb 2022-12-12 10:59 8.0M agda-bin_2.6.3-1build1_amd64.deb 2023-11-10 20:19 10M agda-mode_2.3.2.2-1_all.deb 2013-11-06 17:28 47K agda-mode_2.4.2.5-1build1_all.deb 2016-01-12 22:59 36K agda-mode_2.5.3-3build1_all.deb 2017-11-25 20:09 3.5K agda-mode_2.6.0.1-1build4_all.deb 2020-02-08 13:19 3.6K agda_2.3.2.2-1.debian.tar.gz 2013-11-06 17:28 7.2K agda_2.3.2.2-1.dsc 2013-11-06 17:28 3.2K agda_2.3.2.2-1_all.deb 2013-11-06 17:28 2.9K agda_2.3.2.2.orig.tar.gz 2013-11-06 17:28 1.9M agda_2.4.2.5-1build1.debian.tar.xz 2016-01-12 22:30 7.7K agda_2.4.2.5-1build1.dsc 2016-01-12 22:30 3.7K agda_2.4.2.5-1build1_all.deb 2016-01-12 22:59 2.9K agda_2.4.2.5.orig.tar.gz 2016-01-04 23:25 1.0M agda_2.5.3-3build1.debian.tar.xz 2017-11-25 19:15 9.6K agda_2.5.3-3build1.dsc 2017-11-25 19:15 4.5K agda_2.5.3-3build1_all.deb 2017-11-25 20:09 3.0K agda_2.5.3.orig.tar.gz 2017-11-01 13:05 1.1M agda_2.6.0.1-1build4.debian.tar.xz 2020-02-08 11:38 10K agda_2.6.0.1-1build4.dsc 2020-02-08 11:38 4.2K agda_2.6.0.1-1build4_all.deb 2020-02-08 13:19 4.0K agda_2.6.0.1.orig.tar.gz 2019-09-01 13:43 2.3M agda_2.6.1-1build2.1.debian.tar.xz 2021-09-16 08:39 10K agda_2.6.1-1build2.1.dsc 2021-09-16 08:39 4.2K agda_2.6.1-1build2.1_all.deb 2021-09-16 09:28 4.0K agda_2.6.1.orig.tar.gz 2020-07-30 00:19 2.5M agda_2.6.2.2-1.1build1.debian.tar.xz 2022-12-12 10:29 10K agda_2.6.2.2-1.1build1.dsc 2022-12-12 10:29 4.3K agda_2.6.2.2-1.1build1_all.deb 2022-12-12 10:59 3.6K agda_2.6.2.2.orig.tar.gz 2022-08-07 00:19 1.6M agda_2.6.3-1build1.debian.tar.xz 2023-11-08 09:36 11K agda_2.6.3-1build1.dsc 2023-11-08 09:36 4.8K agda_2.6.3-1build1_all.deb 2023-11-10 20:19 3.7K agda_2.6.3.orig.tar.gz 2023-10-26 16:43 1.7M elpa-agda2-mode_2.5.3-3build1_all.deb 2017-11-25 20:09 40K elpa-agda2-mode_2.6.0.1-1build4_all.deb 2020-02-08 13:19 40K elpa-agda2-mode_2.6.1-1build2.1_all.deb 2021-09-16 09:28 45K elpa-agda2-mode_2.6.2.2-1.1build1_all.deb 2022-12-12 10:59 44K elpa-agda2-mode_2.6.3-1build1_all.deb 2023-11-10 20:19 45K libghc-agda-dev_2.3.2.2-1_amd64.deb 2013-11-06 17:28 13M libghc-agda-dev_2.3.2.2-1_i386.deb 2013-11-06 17:28 12M libghc-agda-dev_2.4.2.5-1build1_amd64.deb 2016-01-12 22:59 10M libghc-agda-dev_2.4.2.5-1build1_i386.deb 2016-01-12 22:45 10M libghc-agda-dev_2.5.3-3build1_amd64.deb 2017-11-25 20:09 15M libghc-agda-dev_2.5.3-3build1_i386.deb 2017-11-25 20:09 15M libghc-agda-dev_2.6.0.1-1build4_amd64.deb 2020-02-08 13:19 19M libghc-agda-dev_2.6.1-1build2.1_amd64.deb 2021-09-16 09:28 38M libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb 2022-12-12 10:59 25M libghc-agda-dev_2.6.3-1build1_amd64.deb 2023-11-10 20:19 24M libghc-agda-doc_2.3.2.2-1_all.deb 2013-11-06 17:28 2.1M libghc-agda-doc_2.4.2.5-1build1_all.deb 2016-01-12 22:59 2.1M libghc-agda-doc_2.5.3-3build1_all.deb 2017-11-25 20:09 2.6M libghc-agda-doc_2.6.0.1-1build4_all.deb 2020-02-08 13:19 4.0M libghc-agda-doc_2.6.1-1build2.1_all.deb 2021-09-16 09:28 5.2M libghc-agda-doc_2.6.2.2-1.1build1_all.deb 2022-12-12 10:59 5.7M libghc-agda-doc_2.6.3-1build1_all.deb 2023-11-10 20:19 6.0M