Index of /pkgs/ubuntu/pool/universe/l/ladr/
../
ladr4-apps_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 128600
ladr4-apps_0.0.200911a-2_amd64.deb 25-May-2013 19:03 321870
libladr-dev_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 254236
libladr-dev_0.0.200911a-2_amd64.deb 25-May-2013 19:03 357856
libladr4_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 165864
libladr4_0.0.200911a-2_amd64.deb 25-May-2013 19:03 198556
prover9_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 75358
prover9_0.0.200911a-2_amd64.deb 25-May-2013 19:03 97956