Index of /mipsel/pool/main/l/ladr/

../
ladr4-apps_0.0.200911a-2.1_mips64el.deb            01-Sep-2015 23:01    137K
ladr4-apps_0.0.200911a-2.1_mipsel.deb              14-Oct-2014 23:29    135K
ladr_0.0.200911a-2.1.debian.tar.xz                 09-Oct-2014 18:53     19K
ladr_0.0.200911a-2.1.dsc                           09-Oct-2014 18:53    1337
ladr_0.0.200911a.orig.tar.gz                       13-Dec-2012 03:04      2M
libladr-dev_0.0.200911a-2.1_mips64el.deb           01-Sep-2015 23:01    293K
libladr-dev_0.0.200911a-2.1_mipsel.deb             14-Oct-2014 23:29    280K
libladr4_0.0.200911a-2.1_mips64el.deb              01-Sep-2015 23:01    156K
libladr4_0.0.200911a-2.1_mipsel.deb                14-Oct-2014 23:29    157K
prover9_0.0.200911a-2.1_mips64el.deb               01-Sep-2015 23:01     94K
prover9_0.0.200911a-2.1_mipsel.deb                 14-Oct-2014 23:29     92K