Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 ladr4-apps_0.0.200911a-2.1_armhf.deb  2014-10-25 13:10  129K  
 ladr_0.0.200911a-2.1.debian.tar.xz    2014-10-09 12:53   19K  
 ladr_0.0.200911a-2.1.dsc              2014-10-09 12:53  1.3K  
 ladr_0.0.200911a.orig.tar.gz          2012-12-12 20:04  1.7M  
 libladr-dev_0.0.200911a-2.1_armhf.deb 2014-10-25 13:10  242K  
 libladr4_0.0.200911a-2.1_armhf.deb    2014-10-25 13:10  154K  
 prover9_0.0.200911a-2.1_armhf.deb     2014-10-25 13:10   91K  

This mirror is hosted by Funkfreunde Landshut e.V. We are the first mirror ever present in Hamnet / AMPRNet. In case you are missing anything or have a question drop us an email at click to see address.

Current mirror size: GB. Mirror health