Index of /pool/main/l/ladr/

../
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb            08-Apr-2019 11:17              159868
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb            05-Nov-2020 16:08              130084
ladr4-apps_0.0.200911a-2.1+b2_i386.deb             05-Nov-2020 15:57              156610
ladr_0.0.200911a-2.1.debian.tar.xz                 08-Apr-2019 10:39               19388
ladr_0.0.200911a-2.1.dsc                           08-Apr-2019 10:39                1337
ladr_0.0.200911a.orig.tar.gz                       08-Apr-2019 10:39             1795750
libladr-dev_0.0.200911a-2.1+b2_amd64.deb           08-Apr-2019 09:39              284828
libladr-dev_0.0.200911a-2.1+b2_arm64.deb           05-Nov-2020 16:17              258132
libladr-dev_0.0.200911a-2.1+b2_i386.deb            05-Nov-2020 16:12              310942
libladr4_0.0.200911a-2.1+b2_amd64.deb              08-Apr-2019 10:16              188260
libladr4_0.0.200911a-2.1+b2_arm64.deb              05-Nov-2020 16:15              156948
libladr4_0.0.200911a-2.1+b2_i386.deb               05-Nov-2020 16:17              210936
prover9_0.0.200911a-2.1+b2_amd64.deb               08-Apr-2019 09:36              102844
prover9_0.0.200911a-2.1+b2_arm64.deb               05-Nov-2020 15:13               92758
prover9_0.0.200911a-2.1+b2_i386.deb                05-Nov-2020 15:13              109342