Index of /bionic-dev/pool/main/l/ladr/

../
ladr4-apps_0.0.200911a-2.1build1_amd64.deb         07-Jan-2019 18:51              137200
ladr4-apps_0.0.200911a-2.1build1_i386.deb          07-Jan-2019 19:31              134004
libladr-dev_0.0.200911a-2.1build1_amd64.deb        07-Jan-2019 18:37              261924
libladr-dev_0.0.200911a-2.1build1_i386.deb         07-Jan-2019 18:35              287308
libladr4_0.0.200911a-2.1build1_amd64.deb           07-Jan-2019 18:46              167632
libladr4_0.0.200911a-2.1build1_i386.deb            07-Jan-2019 18:32              189108
prover9_0.0.200911a-2.1build1_amd64.deb            07-Jan-2019 18:39               77772
prover9_0.0.200911a-2.1build1_i386.deb             07-Jan-2019 18:06               85372