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

../
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb            26-Sep-2021 17:05    127K
libladr-dev_0.0.200911a-2.1+b2_arm64.deb           26-Sep-2021 17:19    252K
libladr4_0.0.200911a-2.1+b2_arm64.deb              26-Sep-2021 16:59    153K
prover9_0.0.200911a-2.1+b2_arm64.deb               26-Sep-2021 17:24     91K