Index of /uos/pool/main/l/ladr/

../
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb            27-Mar-2020 22:10    156K
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb            27-Mar-2020 22:10    127K
ladr4-apps_0.0.200911a-2.1+b2_i386.deb             27-Mar-2020 22:10    153K
ladr4-apps_0.0.200911a-2.1+b2_mips64el.deb         27-Mar-2020 22:10    139K
ladr_0.0.200911a-2.1.debian.tar.xz                 27-Mar-2020 22:10     19K
ladr_0.0.200911a-2.1.dsc                           27-Mar-2020 22:10    1337
ladr_0.0.200911a.orig.tar.gz                       27-Mar-2020 22:10      2M
libladr-dev_0.0.200911a-2.1+b2_amd64.deb           27-Mar-2020 22:10    278K
libladr-dev_0.0.200911a-2.1+b2_arm64.deb           27-Mar-2020 22:10    252K
libladr-dev_0.0.200911a-2.1+b2_i386.deb            27-Mar-2020 22:10    304K
libladr-dev_0.0.200911a-2.1+b2_mips64el.deb        27-Mar-2020 22:10    297K
libladr4_0.0.200911a-2.1+b2_amd64.deb              27-Mar-2020 22:10    184K
libladr4_0.0.200911a-2.1+b2_arm64.deb              27-Mar-2020 22:10    153K
libladr4_0.0.200911a-2.1+b2_i386.deb               27-Mar-2020 22:10    206K
libladr4_0.0.200911a-2.1+b2_mips64el.deb           27-Mar-2020 22:10    159K
prover9_0.0.200911a-2.1+b2_amd64.deb               27-Mar-2020 22:10    100K
prover9_0.0.200911a-2.1+b2_arm64.deb               27-Mar-2020 22:10     91K
prover9_0.0.200911a-2.1+b2_i386.deb                27-Mar-2020 22:10    107K
prover9_0.0.200911a-2.1+b2_mips64el.deb            27-Mar-2020 22:10     97K