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 - coq-iris_4.0.0-3build1.debian.tar.xz 2023-02-16 18:50 12K coq-iris_4.0.0-3build1.dsc 2023-02-16 18:50 2.1K coq-iris_4.0.0-4build1.debian.tar.xz 2023-07-26 06:19 12K coq-iris_4.0.0-4build1.dsc 2023-07-26 06:19 2.1K coq-iris_4.0.0.orig.tar.gz 2022-08-19 18:34 685K coq-iris_4.1.0-1build3.debian.tar.xz 2024-04-08 08:57 12K coq-iris_4.1.0-1build3.dsc 2024-04-08 08:57 2.2K coq-iris_4.1.0.orig.tar.gz 2023-12-23 17:16 732K coq-iris_4.2.0-3build3.debian.tar.xz 2024-09-07 20:04 12K coq-iris_4.2.0-3build3.dsc 2024-09-07 20:04 2.1K coq-iris_4.2.0.orig.tar.gz 2024-05-02 12:53 747K libcoq-iris_4.0.0-3build1_amd64.deb 2023-02-16 20:44 13M libcoq-iris_4.0.0-4build1_amd64.deb 2023-07-26 08:55 13M libcoq-iris_4.1.0-1build3_amd64.deb 2024-04-08 14:14 13M libcoq-iris_4.2.0-3build3_amd64.deb 2024-09-07 20:05 14M