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