Index of /ubuntu/pool/universe/l/ladr/
../
ladr4-apps_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 128600
ladr4-apps_0.0.200911a-2.1build1_amd64.deb 04-Apr-2018 21:23 137200
ladr_0.0.200911a-2.1.debian.tar.xz 24-Oct-2014 09:05 19388
ladr_0.0.200911a-2.1.dsc 24-Oct-2014 09:05 1337
ladr_0.0.200911a-2.1build1.debian.tar.xz 04-Apr-2018 21:14 19468
ladr_0.0.200911a-2.1build1.dsc 04-Apr-2018 21:14 2123
ladr_0.0.200911a.orig.tar.gz 25-May-2013 17:33 1795750
libladr-dev_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 254236
libladr-dev_0.0.200911a-2.1build1_amd64.deb 04-Apr-2018 21:23 261924
libladr4_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 165864
libladr4_0.0.200911a-2.1build1_amd64.deb 04-Apr-2018 21:23 167632
prover9_0.0.200911a-2.1_amd64.deb 24-Oct-2014 21:36 75358
prover9_0.0.200911a-2.1build1_amd64.deb 04-Apr-2018 21:23 77772