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 - ladr_0.0.200911a-2.debian.tar.gz 2013-05-25 18:33 22K ladr_0.0.200911a.orig.tar.gz 2013-05-25 18:33 1.7M ladr_0.0.200911a-2.dsc 2013-05-25 18:33 1.3K prover9_0.0.200911a-2_amd64.deb 2013-05-25 20:03 96K libladr4_0.0.200911a-2_amd64.deb 2013-05-25 20:03 194K libladr-dev_0.0.200911a-2_amd64.deb 2013-05-25 20:03 349K ladr4-apps_0.0.200911a-2_amd64.deb 2013-05-25 20:03 314K prover9_0.0.200911a-2_i386.deb 2013-05-25 20:03 89K libladr4_0.0.200911a-2_i386.deb 2013-05-25 20:03 197K libladr-dev_0.0.200911a-2_i386.deb 2013-05-25 20:03 329K ladr4-apps_0.0.200911a-2_i386.deb 2013-05-25 20:03 298K ladr_0.0.200911a-2.1.debian.tar.xz 2014-10-24 10:05 19K ladr_0.0.200911a-2.1.dsc 2014-10-24 10:05 1.3K libladr-dev_0.0.200911a-2.1_amd64.deb 2014-10-24 22:36 248K ladr4-apps_0.0.200911a-2.1_amd64.deb 2014-10-24 22:36 126K prover9_0.0.200911a-2.1_amd64.deb 2014-10-24 22:36 74K libladr4_0.0.200911a-2.1_amd64.deb 2014-10-24 22:36 162K libladr4_0.0.200911a-2.1_i386.deb 2014-10-24 22:38 182K ladr4-apps_0.0.200911a-2.1_i386.deb 2014-10-24 22:38 117K libladr-dev_0.0.200911a-2.1_i386.deb 2014-10-24 22:38 256K prover9_0.0.200911a-2.1_i386.deb 2014-10-24 22:38 76K ladr_0.0.200911a-2.1build1.debian.tar.xz 2018-04-04 22:14 19K ladr_0.0.200911a-2.1build1.dsc 2018-04-04 22:14 2.1K libladr4_0.0.200911a-2.1build1_i386.deb 2018-04-04 22:14 185K libladr-dev_0.0.200911a-2.1build1_i386.deb 2018-04-04 22:14 281K ladr4-apps_0.0.200911a-2.1build1_i386.deb 2018-04-04 22:14 131K prover9_0.0.200911a-2.1build1_i386.deb 2018-04-04 22:14 83K ladr4-apps_0.0.200911a-2.1build1_amd64.deb 2018-04-04 22:23 134K prover9_0.0.200911a-2.1build1_amd64.deb 2018-04-04 22:23 76K libladr4_0.0.200911a-2.1build1_amd64.deb 2018-04-04 22:23 164K libladr-dev_0.0.200911a-2.1build1_amd64.deb 2018-04-04 22:23 256K