Index of /ubuntu/pool/main/l/ladr/

../
ladr4-apps_0.0.200911a-2.1_amd64.deb               28-May-2020 21:41              128600
ladr4-apps_0.0.200911a-2.1build1_amd64.deb         28-May-2020 17:34              137200
libladr-dev_0.0.200911a-2.1_amd64.deb              28-May-2020 21:36              254236
libladr-dev_0.0.200911a-2.1build1_amd64.deb        28-May-2020 17:56              261924
libladr4_0.0.200911a-2.1_amd64.deb                 28-May-2020 21:41              165864
libladr4_0.0.200911a-2.1build1_amd64.deb           28-May-2020 17:31              167632
prover9_0.0.200911a-2.1_amd64.deb                  28-May-2020 21:48               75358
prover9_0.0.200911a-2.1build1_amd64.deb            28-May-2020 18:07               77772