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                                                         -   
 cryptominisat_5.8.0+dfsg1-1.dsc                     2020-07-11 15:16  2.4K  
 cryptominisat_5.11.4+dfsg1-2.dsc                    2022-11-03 19:09  2.4K  
 cryptominisat_5.11.21+dfsg1-2.dsc                   2025-05-24 23:55  2.5K  
 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz          2022-11-03 19:09  5.2K  
 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz           2020-07-11 15:16  6.0K  
 cryptominisat_5.11.21+dfsg1-2.debian.tar.xz         2025-05-24 23:55  6.5K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb    2020-12-12 14:13   14K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb   2023-01-03 06:27   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb     2025-05-25 00:21   18K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb    2020-12-12 14:13   19K  
 cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb           2023-01-03 06:27   75K  
 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb            2020-12-12 14:13   86K  
 cryptominisat_5.11.21+dfsg1-2_amd64.deb             2025-05-25 00:21   89K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb    2020-12-12 14:13  406K  
 cryptominisat_5.8.0+dfsg1.orig.tar.xz               2020-07-11 15:16  441K  
 cryptominisat_5.11.21+dfsg1.orig.tar.xz             2024-05-03 07:30  470K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb  2023-01-03 06:27  490K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb 2025-05-25 00:21  509K  
 cryptominisat_5.11.4+dfsg1.orig.tar.xz              2022-10-28 22:20  518K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb   2023-01-03 06:27  520K  
 python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb     2025-05-25 00:21  583K