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.0.orig.tar.gz                      2015-06-19 00:23  3.3M  
 z3_4.4.0-5.debian.tar.xz                  2015-12-08 06:10   11K  
 z3_4.4.0-5.dsc                            2015-12-08 06:10  2.1K  
 libz3-java_4.4.0-5_all.deb                2015-12-08 12:44  134K  
 libz3-dev_4.4.0-5_amd64.deb               2015-12-08 12:44  5.1M  
 libz3-jni_4.4.0-5_amd64.deb               2015-12-08 12:44   30K  
 libz3-ocaml-dev_4.4.0-5_amd64.deb         2015-12-08 12:45  444K  
 python-z3_4.4.0-5_amd64.deb               2015-12-08 12:45   65K  
 z3_4.4.0-5_amd64.deb                      2015-12-08 12:45  5.0M  
 libz3-cil_4.4.0-5_amd64.deb               2015-12-08 12:45   39K  
 libz3-ocaml-dev_4.4.0-5_i386.deb          2015-12-08 12:45  415K  
 libz3-jni_4.4.0-5_i386.deb                2015-12-08 12:45   40K  
 python-z3_4.4.0-5_i386.deb                2015-12-08 12:45   65K  
 libz3-cil_4.4.0-5_i386.deb                2015-12-08 12:45   39K  
 z3_4.4.0-5_i386.deb                       2015-12-08 12:45  5.4M  
 libz3-dev_4.4.0-5_i386.deb                2015-12-08 12:45  5.4M  
 z3_4.4.1.orig.tar.gz                      2016-07-19 00:45  3.2M  
 z3_4.4.1-0.3build4.debian.tar.xz          2017-10-27 05:44   14K  
 z3_4.4.1-0.3build4.dsc                    2017-10-27 05:44  2.5K  
 libz3-dev_4.4.1-0.3build4_amd64.deb       2017-10-27 05:44   63K  
 libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb 2017-10-27 05:44  479K  
 libz3-java_4.4.1-0.3build4_amd64.deb      2017-10-27 05:44  140K  
 z3_4.4.1-0.3build4_amd64.deb              2017-10-27 05:44  5.0M  
 libz3-4_4.4.1-0.3build4_amd64.deb         2017-10-27 05:44  4.9M  
 libz3-jni_4.4.1-0.3build4_amd64.deb       2017-10-27 05:44   31K  
 python-z3_4.4.1-0.3build4_amd64.deb       2017-10-27 05:44   65K  
 libz3-cil_4.4.1-0.3build4_amd64.deb       2017-10-27 05:44   40K  
 z3_4.4.1-0.3build4_i386.deb               2017-10-27 05:53  5.5M  
 libz3-jni_4.4.1-0.3build4_i386.deb        2017-10-27 05:53   40K  
 libz3-dev_4.4.1-0.3build4_i386.deb        2017-10-27 05:53   63K  
 libz3-cil_4.4.1-0.3build4_i386.deb        2017-10-27 05:53   40K  
 libz3-java_4.4.1-0.3build4_i386.deb       2017-10-27 05:53  140K  
 python-z3_4.4.1-0.3build4_i386.deb        2017-10-27 05:53   65K  
 libz3-4_4.4.1-0.3build4_i386.deb          2017-10-27 05:53  5.4M  
 libz3-ocaml-dev_4.4.1-0.3build4_i386.deb  2017-10-27 05:53  460K  
 z3_4.8.7.orig.tar.gz                      2019-12-09 05:13  4.1M  
 z3_4.8.7-4build1.debian.tar.xz            2020-03-23 07:18  9.8K  
 z3_4.8.7-4build1.dsc                      2020-03-23 07:18  2.5K  
 libz3-java_4.8.7-4build1_i386.deb         2020-03-23 08:39  150K  
 libz3-jni_4.8.7-4build1_i386.deb          2020-03-23 08:39   39K  
 libz3-dev_4.8.7-4build1_i386.deb          2020-03-23 08:39   66K  
 python3-z3_4.8.7-4build1_i386.deb         2020-03-23 08:39   75K  
 z3_4.8.7-4build1_i386.deb                 2020-03-23 08:39  7.1M  
 libz3-4_4.8.7-4build1_i386.deb            2020-03-23 08:39  7.1M  
 libz3-dev_4.8.7-4build1_amd64.deb         2020-03-23 09:03   66K  
 z3_4.8.7-4build1_amd64.deb                2020-03-23 09:03  6.5M  
 python3-z3_4.8.7-4build1_amd64.deb        2020-03-23 09:03   75K  
 libz3-java_4.8.7-4build1_amd64.deb        2020-03-23 09:03  150K  
 libz3-jni_4.8.7-4build1_amd64.deb         2020-03-23 09:03   32K  
 libz3-4_4.8.7-4build1_amd64.deb           2020-03-23 09:03  6.5M  
 z3_4.8.12-1.dsc                           2021-09-15 12:19  2.6K  
 z3_4.8.12.orig.tar.gz                     2021-09-15 12:19  4.6M  
 z3_4.8.12-1.debian.tar.xz                 2021-09-15 12:19  9.7K  
 libz3-4_4.8.12-1_amd64.deb                2021-09-15 12:33  5.5M  
 libz3-jni_4.8.12-1_amd64.deb              2021-09-15 12:33   42K  
 libz3-dev_4.8.12-1_amd64.deb              2021-09-15 12:33   70K  
 python3-z3_4.8.12-1_amd64.deb             2021-09-15 12:33   78K  
 z3_4.8.12-1_amd64.deb                     2021-09-15 12:33  5.6M  
 libz3-java_4.8.12-1_amd64.deb             2021-09-15 12:33  156K  
 python3-z3_4.8.12-1_i386.deb              2021-09-15 12:59   78K  
 libz3-jni_4.8.12-1_i386.deb               2021-09-15 12:59   49K  
 libz3-dev_4.8.12-1_i386.deb               2021-09-15 12:59   70K  
 z3_4.8.12-1_i386.deb                      2021-09-15 12:59  8.1M  
 libz3-java_4.8.12-1_i386.deb              2021-09-15 12:59  156K  
 libz3-4_4.8.12-1_i386.deb                 2021-09-15 12:59  8.0M  
 z3_4.8.12-3.1build1.debian.tar.xz         2024-04-22 12:47   10K  
 z3_4.8.12-3.1build1.dsc                   2024-04-22 12:47  2.7K  
 z3_4.8.12-3.1build1_amd64.deb             2024-04-22 12:47  5.6M  
 python3-z3_4.8.12-3.1build1_amd64.deb     2024-04-22 12:47   78K  
 libz3-jni_4.8.12-3.1build1_amd64.deb      2024-04-22 12:47   37K  
 libz3-java_4.8.12-3.1build1_amd64.deb     2024-04-22 12:47  159K  
 libz3-dev_4.8.12-3.1build1_amd64.deb      2024-04-22 12:47   71K  
 libz3-4_4.8.12-3.1build1_amd64.deb        2024-04-22 12:47  5.6M  
 z3_4.8.12-3.1build1_i386.deb              2024-04-22 12:48  8.2M  
 python3-z3_4.8.12-3.1build1_i386.deb      2024-04-22 12:48   78K  
 libz3-jni_4.8.12-3.1build1_i386.deb       2024-04-22 12:48   46K  
 libz3-java_4.8.12-3.1build1_i386.deb      2024-04-22 12:48  159K  
 libz3-dev_4.8.12-3.1build1_i386.deb       2024-04-22 12:48   71K  
 libz3-4_4.8.12-3.1build1_i386.deb         2024-04-22 12:48  8.2M  
 z3_4.13.3-1.dsc                           2024-11-05 12:18  2.6K  
 z3_4.13.3.orig.tar.gz                     2024-11-05 12:18  5.3M  
 z3_4.13.3-1.debian.tar.xz                 2024-11-05 12:18   10K  
 z3_4.13.3-1_amd64.deb                     2024-11-05 12:18  6.6M  
 python3-z3_4.13.3-1_amd64.deb             2024-11-05 12:18   83K  
 libz3-jni_4.13.3-1_amd64.deb              2024-11-05 12:18   41K  
 libz3-java_4.13.3-1_amd64.deb             2024-11-05 12:18  177K  
 libz3-dev_4.13.3-1_amd64.deb              2024-11-05 12:18   78K  
 libz3-4_4.13.3-1_amd64.deb                2024-11-05 12:18  6.5M  
 z3_4.13.3-1_i386.deb                      2024-11-05 12:19  9.5M  
 python3-z3_4.13.3-1_i386.deb              2024-11-05 12:19   83K  
 libz3-jni_4.13.3-1_i386.deb               2024-11-05 12:19   52K  
 libz3-java_4.13.3-1_i386.deb              2024-11-05 12:19  177K  
 libz3-dev_4.13.3-1_i386.deb               2024-11-05 12:19   78K  
 libz3-4_4.13.3-1_i386.deb                 2024-11-05 12:19  9.4M