Welcome To SC Mirrors Site

We are delighted to offer you accelerated services for open-source software.

Region Option

Asian / Tokyo
mirrors.tyo.silicloud.com
American / Los Angeles
mirrors.lax.silicloud.com

Mirrors Help

If you're unsure how to configure Linux distributions/software installation sources, we offer assistance for mainstream distributions here:

Config Guide

Common Links

Silicon Cloud

/debian/pool/main/l/ladr/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ladr4-apps_0.0.200911a-2.1+b2_i386.deb 1566102017-Feb-24 18:58
prover9_0.0.200911a-2.1+b2_i386.deb 1093422017-Feb-24 18:58
libladr-dev_0.0.200911a-2.1+b2_i386.deb 3109422017-Feb-24 18:58
libladr4_0.0.200911a-2.1+b2_i386.deb 2109362017-Feb-24 18:58
ladr4-apps_0.0.200911a-2.1+b2_armhf.deb 1330462017-Feb-24 18:58
prover9_0.0.200911a-2.1+b2_armhf.deb 965622017-Feb-24 18:58
libladr-dev_0.0.200911a-2.1+b2_armhf.deb 2592282017-Feb-24 18:58
libladr4_0.0.200911a-2.1+b2_armhf.deb 1588582017-Feb-24 18:58
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb 1598682017-Feb-24 18:43
prover9_0.0.200911a-2.1+b2_amd64.deb 1028442017-Feb-24 18:43
libladr-dev_0.0.200911a-2.1+b2_amd64.deb 2848282017-Feb-24 18:43
libladr4_0.0.200911a-2.1+b2_amd64.deb 1882602017-Feb-24 18:43
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb 1300842017-Feb-24 18:12
prover9_0.0.200911a-2.1+b2_arm64.deb 927582017-Feb-24 18:12
libladr-dev_0.0.200911a-2.1+b2_arm64.deb 2581322017-Feb-24 18:12
libladr4_0.0.200911a-2.1+b2_arm64.deb 1569482017-Feb-24 18:12
ladr_0.0.200911a-2.1.debian.tar.xz 193882014-Oct-09 10:53
ladr_0.0.200911a-2.1.dsc 13372014-Oct-09 10:53
ladr_0.0.200911a.orig.tar.gz 17957502012-Dec-12 19:04

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

cube envelope hashtag github