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_2.5.4.1.orig.tar.gz 2018-09-30 11:54 1.9M agda_2.5.4.1-3.debian.tar.xz 2018-10-20 21:41 9.7K agda_2.5.4.1-3.dsc 2018-10-20 21:41 3.8K agda-mode_2.5.4.1-3_all.deb 2018-10-20 22:57 115K agda_2.5.4.1-3_all.deb 2018-10-20 22:57 115K elpa-agda2-mode_2.5.4.1-3_all.deb 2018-10-20 22:57 152K libghc-agda-doc_2.5.4.1-3_all.deb 2018-10-20 22:57 3.6M agda-bin_2.5.4.1-3+b1_amd64.deb 2018-12-04 10:59 5.6M libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 2018-12-04 10:59 16M agda_2.6.1-1.debian.tar.xz 2020-07-29 16:40 9.8K agda_2.6.1-1.dsc 2020-07-29 16:40 4.1K agda_2.6.1.orig.tar.gz 2020-07-29 16:40 2.5M agda_2.6.1-1_all.deb 2020-07-29 17:40 28K elpa-agda2-mode_2.6.1-1_all.deb 2020-07-29 17:40 65K libghc-agda-doc_2.6.1-1_all.deb 2020-07-29 17:40 5.5M agda-bin_2.6.1-1+b2_amd64.deb 2020-08-19 20:59 8.5M libghc-agda-dev_2.6.1-1+b2_amd64.deb 2020-08-19 20:59 36M agda_2.6.2.2.orig.tar.gz 2022-08-06 18:04 1.6M agda_2.6.2.2-1.1.debian.tar.xz 2022-12-06 16:40 10K agda_2.6.2.2-1.1.dsc 2022-12-06 16:40 4.3K agda_2.6.2.2-1.1_all.deb 2022-12-06 17:41 12K elpa-agda2-mode_2.6.2.2-1.1_all.deb 2022-12-06 17:41 50K libghc-agda-doc_2.6.2.2-1.1_all.deb 2022-12-06 17:41 6.3M agda-bin_2.6.2.2-1.1_amd64.deb 2022-12-06 17:57 7.4M libghc-agda-dev_2.6.2.2-1.1_amd64.deb 2022-12-06 17:57 24M agda_2.6.3-1.debian.tar.xz 2023-10-13 16:34 11K agda_2.6.3-1.dsc 2023-10-13 16:34 4.8K agda_2.6.3.orig.tar.gz 2023-10-13 16:34 1.7M agda_2.6.3-1_all.deb 2023-10-13 17:30 20K elpa-agda2-mode_2.6.3-1_all.deb 2023-10-13 17:30 58K libghc-agda-doc_2.6.3-1_all.deb 2023-10-13 17:30 6.6M agda-bin_2.6.3-1+b3_amd64.deb 2024-04-13 18:30 9.8M libghc-agda-dev_2.6.3-1+b3_amd64.deb 2024-04-13 18:30 23M