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 - cbmc_6.1.1-2_amd64.deb 2024-08-02 20:37 22M jbmc_6.1.1-2_amd64.deb 2024-08-02 20:37 8.5M cbmc_6.1.1-2.debian.tar.xz 2024-08-02 19:28 18K cbmc_6.1.1-2.dsc 2024-08-02 19:28 3.0K cbmc_6.1.1.orig.tar.gz 2024-08-02 07:07 8.7M cbmc_6.1.1.orig-java-models-library.tar.gz 2024-08-02 07:07 292K cbmc_6.1.1.orig-java-cprover-api.tar.gz 2024-08-02 07:07 14K cbmc_5.95.1-4ubuntu1_amd64.deb 2024-04-23 19:04 20M jbmc_5.95.1-4ubuntu1_amd64.deb 2024-04-23 19:04 7.9M cbmc_5.95.1-4ubuntu1.dsc 2024-04-23 18:04 3.1K cbmc_5.95.1-4ubuntu1.debian.tar.xz 2024-04-23 18:04 15K cbmc_5.95.1.orig.tar.gz 2024-02-16 17:43 8.7M cbmc_5.95.1.orig-java-models-library.tar.gz 2024-02-16 17:43 292K cbmc_5.95.1.orig-java-cprover-api.tar.gz 2024-02-16 17:43 14K cbmc_5.12-5_amd64.deb 2020-05-05 01:58 17M cbmc_5.12-5.debian.tar.xz 2020-05-05 00:13 15K cbmc_5.12-5.dsc 2020-05-05 00:13 2.2K cbmc_5.12.orig.tar.gz 2020-05-02 15:33 6.9M cbmc_5.12.orig-java-models-library.tar.gz 2020-05-02 15:33 297K cbmc_5.10-5ubuntu1_amd64.deb 2020-04-14 10:41 10M cbmc_5.10-5ubuntu1.dsc 2020-04-14 10:08 2.2K cbmc_5.10-5ubuntu1.debian.tar.xz 2020-04-14 10:08 13K cbmc_5.10.orig.tar.gz 2018-11-09 06:53 6.1M cbmc_5.10.orig-java-models-library.tar.gz 2018-11-09 06:53 169K cbmc_5.6-1_i386.deb 2016-12-04 18:03 3.7M cbmc_5.6-1_amd64.deb 2016-12-04 18:03 3.8M cbmc_5.6-1.debian.tar.xz 2016-12-04 17:18 10K cbmc_5.6.orig.tar.gz 2016-12-04 17:18 5.2M cbmc_5.6-1.dsc 2016-12-04 17:18 1.7K cbmc_5.3-1_i386.deb 2016-01-21 05:45 2.8M cbmc_5.3-1_amd64.deb 2016-01-21 05:44 2.9M cbmc_5.3-1.dsc 2016-01-21 05:25 1.7K cbmc_5.3.orig.tar.gz 2016-01-21 05:25 5.0M cbmc_5.3-1.debian.tar.xz 2016-01-21 05:25 9.5K cbmc_4.5-2ubuntu2_i386.deb 2013-10-28 21:38 5.4M cbmc_4.5-2ubuntu2_amd64.deb 2013-10-28 21:38 5.4M cbmc_4.5-2ubuntu2.debian.tar.gz 2013-10-28 21:18 6.3K cbmc_4.5-2ubuntu2.dsc 2013-10-28 21:18 1.1K cbmc_4.5.orig.tar.gz 2013-10-28 17:33 3.6M