Index of /sites/raspbian.org/raspbian/pool/main/l/ladr
Name Last modified Size Description
Parent Directory - ladr_0.0.200902a-2.1.dsc 2012-04-19 03:39 1.9K ladr_0.0.200902a-2.1.diff.gz 2012-04-19 03:39 18K ladr_0.0.200902a.orig.tar.gz 2012-04-19 03:39 1.9M ladr4-apps_0.0.200902a-2.1_armhf.deb 2012-04-27 10:30 338K libladr-dev_0.0.200902a-2.1_armhf.deb 2012-04-27 10:30 348K libladr4_0.0.200902a-2.1_armhf.deb 2012-04-27 10:30 198K prover9_0.0.200902a-2.1_armhf.deb 2012-04-27 10:30 119K ladr_0.0.200911a.orig.tar.gz 2012-12-12 20:04 1.7M 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 ladr4-apps_0.0.200911a-2.1_armhf.deb 2014-10-25 13:10 129K 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 ladr4-apps_0.0.200911a-2.1+b1_armhf.deb 2019-09-19 12:08 126K libladr-dev_0.0.200911a-2.1+b1_armhf.deb 2019-09-19 12:08 241K libladr4_0.0.200911a-2.1+b1_armhf.deb 2019-09-19 12:08 151K prover9_0.0.200911a-2.1+b1_armhf.deb 2019-09-19 12:08 92K