Name Last modified Size Description
Parent Directory - ladr_0.0.200911a-2.1.dsc 2014-10-24 05:05 1.3K ladr_0.0.200911a-2.1build1.dsc 2018-04-04 17:14 2.1K ladr_0.0.200911a-2.dsc 2013-05-25 13:33 1.3K ladr4-apps_0.0.200911a-2.1_amd64.deb 2014-10-24 17:36 126K Debian/Ubuntu Packages ladr4-apps_0.0.200911a-2.1_i386.deb 2014-10-24 17:38 117K Debian/Ubuntu Packages ladr4-apps_0.0.200911a-2.1build1_amd64.deb 2018-04-04 17:23 134K Debian/Ubuntu Packages ladr4-apps_0.0.200911a-2.1build1_i386.deb 2018-04-04 17:14 131K Debian/Ubuntu Packages ladr4-apps_0.0.200911a-2_amd64.deb 2013-05-25 15:03 314K Debian/Ubuntu Packages ladr4-apps_0.0.200911a-2_i386.deb 2013-05-25 15:03 298K Debian/Ubuntu Packages ladr_0.0.200911a-2.1.debian.tar.xz 2014-10-24 05:05 19K Debian/Ubuntu Packages ladr_0.0.200911a-2.1build1.debian.tar.xz 2018-04-04 17:14 19K Debian/Ubuntu Packages ladr_0.0.200911a-2.debian.tar.gz 2013-05-25 13:33 22K Debian/Ubuntu Packages libladr-dev_0.0.200911a-2.1_amd64.deb 2014-10-24 17:36 248K Debian/Ubuntu Packages libladr-dev_0.0.200911a-2.1_i386.deb 2014-10-24 17:38 256K Debian/Ubuntu Packages libladr-dev_0.0.200911a-2.1build1_amd64.deb 2018-04-04 17:23 256K Debian/Ubuntu Packages libladr-dev_0.0.200911a-2.1build1_i386.deb 2018-04-04 17:14 281K Debian/Ubuntu Packages libladr-dev_0.0.200911a-2_amd64.deb 2013-05-25 15:03 349K Debian/Ubuntu Packages libladr-dev_0.0.200911a-2_i386.deb 2013-05-25 15:03 329K Debian/Ubuntu Packages libladr4_0.0.200911a-2.1_amd64.deb 2014-10-24 17:36 162K Debian/Ubuntu Packages libladr4_0.0.200911a-2.1_i386.deb 2014-10-24 17:38 182K Debian/Ubuntu Packages libladr4_0.0.200911a-2.1build1_amd64.deb 2018-04-04 17:23 164K Debian/Ubuntu Packages libladr4_0.0.200911a-2.1build1_i386.deb 2018-04-04 17:14 185K Debian/Ubuntu Packages libladr4_0.0.200911a-2_amd64.deb 2013-05-25 15:03 194K Debian/Ubuntu Packages libladr4_0.0.200911a-2_i386.deb 2013-05-25 15:03 197K Debian/Ubuntu Packages prover9_0.0.200911a-2.1_amd64.deb 2014-10-24 17:36 74K Debian/Ubuntu Packages prover9_0.0.200911a-2.1_i386.deb 2014-10-24 17:38 76K Debian/Ubuntu Packages prover9_0.0.200911a-2.1build1_amd64.deb 2018-04-04 17:23 76K Debian/Ubuntu Packages prover9_0.0.200911a-2.1build1_i386.deb 2018-04-04 17:14 83K Debian/Ubuntu Packages prover9_0.0.200911a-2_amd64.deb 2013-05-25 15:03 96K Debian/Ubuntu Packages prover9_0.0.200911a-2_i386.deb 2013-05-25 15:03 89K Debian/Ubuntu Packages ladr_0.0.200911a.orig.tar.gz 2013-05-25 13:33 1.7M Raw or other Packages