Index of /ubuntu-testing/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