Index of /raspbian/pool/main/l/ladr

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] ladr_0.0.200911a.orig.tar.gz 2012-12-12 13:04 1.7M [   ] libladr-dev_0.0.200911a-2.1_armhf.deb 2014-10-25 06:10 242K [   ] libladr4_0.0.200911a-2.1_armhf.deb 2014-10-25 06:10 154K [   ] ladr4-apps_0.0.200911a-2.1_armhf.deb 2014-10-25 06:10 129K [   ] prover9_0.0.200911a-2.1_armhf.deb 2014-10-25 06:10 91K [   ] ladr_0.0.200911a-2.1.debian.tar.xz 2014-10-09 05:53 19K [TXT] ladr_0.0.200911a-2.1.dsc 2014-10-09 05:53 1.3K
Apache/2.4.62 (Debian) Server at raspbian.mirrors.lucidnetworks.net Port 80