Index of /ubuntu-ports/pool/universe/l/ladr/
../
ladr4-apps_0.0.200911a-2.1_arm64.deb 25-Oct-2014 04:01 115934
ladr4-apps_0.0.200911a-2.1build1_arm64.deb 04-Apr-2018 21:14 109728
ladr4-apps_0.0.200911a-2_arm64.deb 25-Oct-2013 18:03 315508
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-2.debian.tar.gz 25-May-2013 17:33 22524
ladr_0.0.200911a-2.dsc 25-May-2013 17:33 1301
ladr_0.0.200911a.orig.tar.gz 25-May-2013 17:33 1795750
libladr-dev_0.0.200911a-2.1_arm64.deb 25-Oct-2014 04:01 234752
libladr-dev_0.0.200911a-2.1build1_arm64.deb 04-Apr-2018 21:14 241596
libladr-dev_0.0.200911a-2_arm64.deb 25-Oct-2013 18:03 344418
libladr4_0.0.200911a-2.1_arm64.deb 25-Oct-2014 04:01 135754
libladr4_0.0.200911a-2.1build1_arm64.deb 04-Apr-2018 21:14 139896
libladr4_0.0.200911a-2_arm64.deb 25-Oct-2013 18:03 170720
prover9_0.0.200911a-2.1_arm64.deb 25-Oct-2014 04:01 71120
prover9_0.0.200911a-2.1build1_arm64.deb 04-Apr-2018 21:14 69152
prover9_0.0.200911a-2_arm64.deb 25-Oct-2013 18:03 97554