../ ladr4-apps_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 22:13 156K ladr4-apps_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 21:42 127K ladr4-apps_0.0.200911a-2.1+b2_armhf.deb 24-Feb-2017 22:28 130K ladr4-apps_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 22:28 153K ladr_0.0.200911a-2.1.debian.tar.xz 09-Oct-2014 14:23 19K ladr_0.0.200911a-2.1.dsc 09-Oct-2014 14:23 1337 ladr_0.0.200911a.orig.tar.gz 12-Dec-2012 22:34 2M libladr-dev_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 22:13 278K libladr-dev_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 21:42 252K libladr-dev_0.0.200911a-2.1+b2_armhf.deb 24-Feb-2017 22:28 253K libladr-dev_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 22:28 304K libladr4_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 22:13 184K libladr4_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 21:42 153K libladr4_0.0.200911a-2.1+b2_armhf.deb 24-Feb-2017 22:28 155K libladr4_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 22:28 206K prover9_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 22:13 100K prover9_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 21:42 91K prover9_0.0.200911a-2.1+b2_armhf.deb 24-Feb-2017 22:28 94K prover9_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 22:28 107K