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

/ubuntu/pool/universe/l/ladr/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ladr4-apps_0.0.200911a-2.1build1_amd64.deb 1372002018-Apr-04 21:23
libladr-dev_0.0.200911a-2.1build1_amd64.deb 2619242018-Apr-04 21:23
libladr4_0.0.200911a-2.1build1_amd64.deb 1676322018-Apr-04 21:23
prover9_0.0.200911a-2.1build1_amd64.deb 777722018-Apr-04 21:23
ladr4-apps_0.0.200911a-2.1build1_i386.deb 1340042018-Apr-04 21:14
libladr-dev_0.0.200911a-2.1build1_i386.deb 2873082018-Apr-04 21:14
libladr4_0.0.200911a-2.1build1_i386.deb 1891082018-Apr-04 21:14
prover9_0.0.200911a-2.1build1_i386.deb 853722018-Apr-04 21:14
ladr_0.0.200911a-2.1build1.debian.tar.xz 194682018-Apr-04 21:14
ladr_0.0.200911a-2.1build1.dsc 21232018-Apr-04 21:14
prover9_0.0.200911a-2.1_i386.deb 780042014-Oct-24 21:38
ladr4-apps_0.0.200911a-2.1_i386.deb 1200922014-Oct-24 21:38
libladr-dev_0.0.200911a-2.1_i386.deb 2622902014-Oct-24 21:38
libladr4_0.0.200911a-2.1_i386.deb 1864242014-Oct-24 21:38
ladr4-apps_0.0.200911a-2.1_amd64.deb 1286002014-Oct-24 21:36
libladr4_0.0.200911a-2.1_amd64.deb 1658642014-Oct-24 21:36
prover9_0.0.200911a-2.1_amd64.deb 753582014-Oct-24 21:36
libladr-dev_0.0.200911a-2.1_amd64.deb 2542362014-Oct-24 21:36
ladr_0.0.200911a-2.1.debian.tar.xz 193882014-Oct-24 09:05
ladr_0.0.200911a-2.1.dsc 13372014-Oct-24 09:05
ladr4-apps_0.0.200911a-2_i386.deb 3052702013-May-25 19:03
libladr-dev_0.0.200911a-2_i386.deb 3367142013-May-25 19:03
libladr4_0.0.200911a-2_i386.deb 2019822013-May-25 19:03
prover9_0.0.200911a-2_i386.deb 912722013-May-25 19:03
ladr4-apps_0.0.200911a-2_amd64.deb 3218702013-May-25 19:03
libladr-dev_0.0.200911a-2_amd64.deb 3578562013-May-25 19:03
libladr4_0.0.200911a-2_amd64.deb 1985562013-May-25 19:03
prover9_0.0.200911a-2_amd64.deb 979562013-May-25 19:03
ladr_0.0.200911a-2.debian.tar.gz 225242013-May-25 17:33
ladr_0.0.200911a-2.dsc 13012013-May-25 17:33
ladr_0.0.200911a.orig.tar.gz 17957502013-May-25 17:33

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