Index of /sites/raspbian.org/raspbian/pool/main/l/ladr

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] prover9_0.0.200911a-2.1+b1_armhf.deb 2019-09-19 12:08 92K [   ] libladr4_0.0.200911a-2.1+b1_armhf.deb 2019-09-19 12:08 151K [   ] libladr-dev_0.0.200911a-2.1+b1_armhf.deb 2019-09-19 12:08 241K [   ] ladr4-apps_0.0.200911a-2.1+b1_armhf.deb 2019-09-19 12:08 126K [   ] prover9_0.0.200911a-2.1_armhf.deb 2014-10-25 13:10 91K [   ] libladr4_0.0.200911a-2.1_armhf.deb 2014-10-25 13:10 154K [   ] libladr-dev_0.0.200911a-2.1_armhf.deb 2014-10-25 13:10 242K [   ] ladr4-apps_0.0.200911a-2.1_armhf.deb 2014-10-25 13:10 129K [TXT] ladr_0.0.200911a-2.1.dsc 2014-10-09 12:53 1.3K [   ] ladr_0.0.200911a-2.1.debian.tar.xz 2014-10-09 12:53 19K [   ] ladr_0.0.200911a.orig.tar.gz 2012-12-12 20:04 1.7M [   ] prover9_0.0.200902a-2.1_armhf.deb 2012-04-27 10:30 119K [   ] libladr4_0.0.200902a-2.1_armhf.deb 2012-04-27 10:30 198K [   ] libladr-dev_0.0.200902a-2.1_armhf.deb 2012-04-27 10:30 348K [   ] ladr4-apps_0.0.200902a-2.1_armhf.deb 2012-04-27 10:30 338K [   ] ladr_0.0.200902a.orig.tar.gz 2012-04-19 03:39 1.9M [   ] ladr_0.0.200902a-2.1.diff.gz 2012-04-19 03:39 18K [TXT] ladr_0.0.200902a-2.1.dsc 2012-04-19 03:39 1.9K