Index of /pureos/pool/main/l/ladr/

../
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb            01-Apr-2017 18:47    156K
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb            07-Mar-2018 04:22    127K
ladr_0.0.200911a-2.1.debian.tar.xz                 12-Sep-2016 22:59     19K
ladr_0.0.200911a-2.1.dsc                           12-Sep-2016 22:59    1337
ladr_0.0.200911a.orig.tar.gz                       12-Sep-2016 22:59      2M
libladr-dev_0.0.200911a-2.1+b2_amd64.deb           01-Apr-2017 18:47    278K
libladr-dev_0.0.200911a-2.1+b2_arm64.deb           07-Mar-2018 04:22    252K
libladr4_0.0.200911a-2.1+b2_amd64.deb              01-Apr-2017 18:47    184K
libladr4_0.0.200911a-2.1+b2_arm64.deb              07-Mar-2018 04:22    153K
prover9_0.0.200911a-2.1+b2_amd64.deb               01-Apr-2017 18:47    100K
prover9_0.0.200911a-2.1+b2_arm64.deb               07-Mar-2018 04:22     91K