Name Last modified Size Description
Parent Directory - ladr_0.0.200911a.orig.tar.gz 2012-12-12 13:04 1.7M ladr_0.0.200911a-2.1.debian.tar.xz 2014-10-09 05:53 19K ladr_0.0.200911a-2.1.dsc 2014-10-09 05:53 1.3K ladr4-apps_0.0.200911a-2.1+b2_arm64.deb 2017-02-24 12:12 127K libladr-dev_0.0.200911a-2.1+b2_arm64.deb 2017-02-24 12:12 252K libladr4_0.0.200911a-2.1+b2_arm64.deb 2017-02-24 12:12 153K prover9_0.0.200911a-2.1+b2_arm64.deb 2017-02-24 12:12 91K ladr4-apps_0.0.200911a-2.1+b2_ppc64el.deb 2017-02-24 12:28 138K libladr-dev_0.0.200911a-2.1+b2_ppc64el.deb 2017-02-24 12:28 269K libladr4_0.0.200911a-2.1+b2_ppc64el.deb 2017-02-24 12:28 167K prover9_0.0.200911a-2.1+b2_ppc64el.deb 2017-02-24 12:28 95K ladr4-apps_0.0.200911a-2.1+b2_amd64.deb 2017-02-24 12:43 156K libladr-dev_0.0.200911a-2.1+b2_amd64.deb 2017-02-24 12:43 278K libladr4_0.0.200911a-2.1+b2_amd64.deb 2017-02-24 12:43 184K prover9_0.0.200911a-2.1+b2_amd64.deb 2017-02-24 12:43 100K ladr4-apps_0.0.200911a-2.1+b2_i386.deb 2017-02-24 12:58 153K libladr-dev_0.0.200911a-2.1+b2_i386.deb 2017-02-24 12:58 304K libladr4_0.0.200911a-2.1+b2_i386.deb 2017-02-24 12:58 206K prover9_0.0.200911a-2.1+b2_i386.deb 2017-02-24 12:58 107K ladr4-apps_0.0.200911a-2.1+b2_mips64el.deb 2017-02-24 13:28 139K libladr-dev_0.0.200911a-2.1+b2_mips64el.deb 2017-02-24 13:28 297K libladr4_0.0.200911a-2.1+b2_mips64el.deb 2017-02-24 13:28 159K prover9_0.0.200911a-2.1+b2_mips64el.deb 2017-02-24 13:28 97K