Name Last modified Size
Parent Directory -
ladr_0.0.200911a.orig.tar.gz 12-Dec-2012 21:04 1.7M
libladr-dev_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 20:58 304K
libladr-dev_0.0.200911a-2.1+b2_mips64el.deb 24-Feb-2017 21:28 297K
libladr-dev_0.0.200911a-2.1+b2_mipsel.deb 24-Feb-2017 21:59 293K
libladr-dev_0.0.200911a-2.1+b2_mips.deb 24-Feb-2017 20:43 287K
libladr-dev_0.0.200911a-2.1+b2_s390x.deb 24-Feb-2017 20:12 279K
libladr-dev_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 20:43 278K
libladr-dev_0.0.200911a-2.1_i386.deb 14-Oct-2014 15:12 278K
libladr-dev_0.0.200911a-2.1_amd64.deb 09-Oct-2014 13:53 271K
libladr-dev_0.0.200911a-2.1+b2_ppc64el.deb 24-Feb-2017 20:28 269K
libladr-dev_0.0.200911a-2.1+b2_armel.deb 24-Feb-2017 20:58 257K
libladr-dev_0.0.200911a-2.1+b2_armhf.deb 24-Feb-2017 20:58 253K
libladr-dev_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 20:12 252K
libladr-dev_0.0.200911a-2.1_armhf.deb 14-Oct-2014 18:29 248K
libladr-dev_0.0.200911a-2.1_armel.deb 14-Oct-2014 19:15 247K
libladr4_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 20:58 206K
libladr4_0.0.200911a-2.1_i386.deb 14-Oct-2014 15:12 202K
libladr4_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 20:43 184K
libladr4_0.0.200911a-2.1+b2_s390x.deb 24-Feb-2017 20:12 183K
libladr4_0.0.200911a-2.1_amd64.deb 09-Oct-2014 13:53 183K
libladr4_0.0.200911a-2.1+b2_ppc64el.deb 24-Feb-2017 20:28 167K
libladr4_0.0.200911a-2.1+b2_mipsel.deb 24-Feb-2017 21:59 160K
libladr4_0.0.200911a-2.1+b2_mips64el.deb 24-Feb-2017 21:28 159K
libladr4_0.0.200911a-2.1_armel.deb 14-Oct-2014 19:15 156K
libladr4_0.0.200911a-2.1+b2_mips.deb 24-Feb-2017 20:43 156K
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 20:43 156K
libladr4_0.0.200911a-2.1_armhf.deb 14-Oct-2014 18:29 155K
libladr4_0.0.200911a-2.1+b2_armel.deb 24-Feb-2017 20:58 155K
libladr4_0.0.200911a-2.1+b2_armhf.deb 24-Feb-2017 20:58 155K
ladr4-apps_0.0.200911a-2.1_i386.deb 14-Oct-2014 15:12 155K
libladr4_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 20:12 153K
ladr4-apps_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 20:58 153K
ladr4-apps_0.0.200911a-2.1_amd64.deb 09-Oct-2014 13:53 153K
ladr4-apps_0.0.200911a-2.1+b2_s390x.deb 24-Feb-2017 20:12 142K
ladr4-apps_0.0.200911a-2.1+b2_mipsel.deb 24-Feb-2017 21:59 139K
ladr4-apps_0.0.200911a-2.1+b2_mips64el.deb 24-Feb-2017 21:28 139K
ladr4-apps_0.0.200911a-2.1+b2_ppc64el.deb 24-Feb-2017 20:28 138K
ladr4-apps_0.0.200911a-2.1+b2_mips.deb 24-Feb-2017 20:43 135K
ladr4-apps_0.0.200911a-2.1_armhf.deb 14-Oct-2014 18:29 134K
ladr4-apps_0.0.200911a-2.1_armel.deb 14-Oct-2014 19:15 131K
ladr4-apps_0.0.200911a-2.1+b2_armel.deb 24-Feb-2017 20:58 131K
ladr4-apps_0.0.200911a-2.1+b2_armhf.deb 24-Feb-2017 20:58 130K
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 20:12 127K
prover9_0.0.200911a-2.1+b2_i386.deb 24-Feb-2017 20:58 107K
prover9_0.0.200911a-2.1_i386.deb 14-Oct-2014 15:12 100K
prover9_0.0.200911a-2.1+b2_amd64.deb 24-Feb-2017 20:43 100K
prover9_0.0.200911a-2.1+b2_s390x.deb 24-Feb-2017 20:12 99K
prover9_0.0.200911a-2.1_amd64.deb 09-Oct-2014 13:53 98K
prover9_0.0.200911a-2.1+b2_mipsel.deb 24-Feb-2017 21:59 97K
prover9_0.0.200911a-2.1+b2_mips64el.deb 24-Feb-2017 21:28 97K
prover9_0.0.200911a-2.1+b2_mips.deb 24-Feb-2017 20:43 95K
prover9_0.0.200911a-2.1+b2_ppc64el.deb 24-Feb-2017 20:28 95K
prover9_0.0.200911a-2.1+b2_armel.deb 24-Feb-2017 20:58 94K
prover9_0.0.200911a-2.1+b2_armhf.deb 24-Feb-2017 20:58 94K
prover9_0.0.200911a-2.1_armel.deb 14-Oct-2014 19:15 93K
prover9_0.0.200911a-2.1_armhf.deb 14-Oct-2014 18:29 92K
prover9_0.0.200911a-2.1+b2_arm64.deb 24-Feb-2017 20:12 91K
ladr_0.0.200911a-2.1.debian.tar.xz 09-Oct-2014 13:53 19K
ladr_0.0.200911a-2.1.dsc 09-Oct-2014 13:53 1.3K
Apache/2.2 Server at debian.noc.ntua.gr Port 80