../ ladr4-apps_0.0.200902a-2.1_amd64.deb 13-Jan-2012 01:48 370720 libladr-dev_0.0.200902a-2.1_amd64.deb 13-Jan-2012 01:48 407778 libladr4_0.0.200902a-2.1_amd64.deb 13-Jan-2012 01:48 245148 prover9_0.0.200902a-2.1_amd64.deb 13-Jan-2012 01:48 128490