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

COREIX CLOUD PORTAL LOGIN

Cloud and VPS/VDS Services - Coreix Virtualisation Services

Affiliate Registration | Learn more

Follow @coreixnet

 Name                                      Last modified      Size  
 Parent Directory                                               -   
 z3_4.4.1.orig.tar.gz                      2016-07-18 11:19  3.2M  
 z3_4.4.1-1~deb10u1.debian.tar.xz          2019-08-24 11:56   14K  
 z3_4.4.1-1~deb10u1.dsc                    2019-08-24 11:56  3.0K  
 libz3-4_4.4.1-1~deb10u1_amd64.deb         2019-08-25 17:14  5.0M  
 libz3-cil_4.4.1-1~deb10u1_amd64.deb       2019-08-25 17:14   40K  
 libz3-dev_4.4.1-1~deb10u1_amd64.deb       2019-08-25 17:14   78K  
 libz3-java_4.4.1-1~deb10u1_amd64.deb      2019-08-25 17:14  143K  
 libz3-jni_4.4.1-1~deb10u1_amd64.deb       2019-08-25 17:14   31K  
 libz3-ocaml-dev_4.4.1-1~deb10u1_amd64.deb 2019-08-25 17:14  514K  
 python-z3_4.4.1-1~deb10u1_amd64.deb       2019-08-25 17:14   65K  
 z3_4.4.1-1~deb10u1_amd64.deb              2019-08-25 17:14  5.0M  
 z3_4.8.10-1.debian.tar.xz                 2021-01-29 17:20  9.9K  
 z3_4.8.10-1.dsc                           2021-01-29 17:20  2.6K  
 z3_4.8.10.orig.tar.gz                     2021-01-29 17:20  4.5M  
 libz3-4_4.8.10-1_amd64.deb                2021-01-29 18:12  6.6M  
 libz3-dev_4.8.10-1_amd64.deb              2021-01-29 18:12   89K  
 libz3-java_4.8.10-1_amd64.deb             2021-01-29 18:12  156K  
 libz3-jni_4.8.10-1_amd64.deb              2021-01-29 18:12   32K  
 python3-z3_4.8.10-1_amd64.deb             2021-01-29 18:12   76K  
 z3_4.8.10-1_amd64.deb                     2021-01-29 18:12  6.6M  
 z3_4.8.12.orig.tar.gz                     2021-09-11 17:38  4.6M  
 z3_4.8.12-3.1.debian.tar.xz               2023-02-01 15:12   10K  
 z3_4.8.12-3.1.dsc                         2023-02-01 15:12  2.6K  
 libz3-4_4.8.12-3.1_amd64.deb              2023-02-01 16:28  6.9M  
 libz3-dev_4.8.12-3.1_amd64.deb            2023-02-01 16:28   88K  
 libz3-java_4.8.12-3.1_amd64.deb           2023-02-01 16:28  159K  
 libz3-jni_4.8.12-3.1_amd64.deb            2023-02-01 16:28   32K  
 python3-z3_4.8.12-3.1_amd64.deb           2023-02-01 16:28   76K  
 z3_4.8.12-3.1_amd64.deb                   2023-02-01 16:28  6.9M  
 z3_4.13.3-1.debian.tar.xz                 2024-11-05 07:40   10K  
 z3_4.13.3-1.dsc                           2024-11-05 07:40  2.6K  
 z3_4.13.3.orig.tar.gz                     2024-11-05 07:40  5.3M  
 libz3-4_4.13.3-1_amd64.deb                2024-11-05 08:11  8.2M  
 libz3-dev_4.13.3-1_amd64.deb              2024-11-05 08:11  104K  
 libz3-java_4.13.3-1_amd64.deb             2024-11-05 08:11  178K  
 libz3-jni_4.13.3-1_amd64.deb              2024-11-05 08:11   37K  
 python3-z3_4.13.3-1_amd64.deb             2024-11-05 08:11   82K  
 z3_4.13.3-1_amd64.deb                     2024-11-05 08:11  8.2M