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

../
ladr4-apps_0.0.200911a-2.1_amd64.deb               16-Mar-2016 11:40              128600
ladr4-apps_0.0.200911a-2.1build1_amd64.deb         02-Oct-2018 09:22              137200
libladr-dev_0.0.200911a-2.1_amd64.deb              16-Mar-2016 10:57              254236
libladr-dev_0.0.200911a-2.1build1_amd64.deb        02-Oct-2018 09:44              261924
libladr4_0.0.200911a-2.1_amd64.deb                 16-Mar-2016 09:41              165864
libladr4_0.0.200911a-2.1build1_amd64.deb           02-Oct-2018 09:15              167632
prover9_0.0.200911a-2.1_amd64.deb                  16-Mar-2016 10:49               75358
prover9_0.0.200911a-2.1build1_amd64.deb            02-Oct-2018 09:41               77772