Index of /ubuntu-ports/pool/universe/l/ladr

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]ladr_0.0.200911a-2.debian.tar.gz2013-05-25 17:33 22K
[   ]ladr_0.0.200911a.orig.tar.gz2013-05-25 17:33 1.7M
[   ]ladr_0.0.200911a-2.dsc2013-05-25 17:33 1.3K
[   ]prover9_0.0.200911a-2_armhf.deb2013-05-25 19:03 89K
[   ]libladr4_0.0.200911a-2_armhf.deb2013-05-25 19:03 156K
[   ]libladr-dev_0.0.200911a-2_armhf.deb2013-05-25 19:03 314K
[   ]ladr4-apps_0.0.200911a-2_armhf.deb2013-05-25 19:03 286K
[   ]prover9_0.0.200911a-2_powerpc.deb2013-05-25 21:34 89K
[   ]libladr4_0.0.200911a-2_powerpc.deb2013-05-25 21:34 188K
[   ]libladr-dev_0.0.200911a-2_powerpc.deb2013-05-25 21:34 336K
[   ]ladr4-apps_0.0.200911a-2_powerpc.deb2013-05-25 21:34 297K
[   ]prover9_0.0.200911a-2_arm64.deb2013-10-25 18:03 95K
[   ]libladr4_0.0.200911a-2_arm64.deb2013-10-25 18:03 167K
[   ]libladr-dev_0.0.200911a-2_arm64.deb2013-10-25 18:03 336K
[   ]ladr4-apps_0.0.200911a-2_arm64.deb2013-10-25 18:03 308K
[   ]libladr4_0.0.200911a-2_ppc64el.deb2014-02-19 04:08 141K
[   ]ladr4-apps_0.0.200911a-2_ppc64el.deb2014-02-19 04:08 106K
[   ]libladr-dev_0.0.200911a-2_ppc64el.deb2014-02-19 04:08 241K
[   ]prover9_0.0.200911a-2_ppc64el.deb2014-02-19 04:09 67K
[   ]ladr_0.0.200911a-2.1.debian.tar.xz2014-10-24 09:05 19K
[   ]ladr_0.0.200911a-2.1.dsc2014-10-24 09:05 1.3K
[   ]libladr-dev_0.0.200911a-2.1_armhf.deb2014-10-24 15:16 223K
[   ]libladr4_0.0.200911a-2.1_armhf.deb2014-10-24 15:16 135K
[   ]ladr4-apps_0.0.200911a-2.1_armhf.deb2014-10-24 15:16 106K
[   ]prover9_0.0.200911a-2.1_armhf.deb2014-10-24 15:16 68K
[   ]libladr-dev_0.0.200911a-2.1_powerpc.deb2014-10-24 19:49 228K
[   ]ladr4-apps_0.0.200911a-2.1_powerpc.deb2014-10-24 19:49 93K
[   ]libladr4_0.0.200911a-2.1_powerpc.deb2014-10-24 19:49 141K
[   ]prover9_0.0.200911a-2.1_powerpc.deb2014-10-24 19:49 65K
[   ]libladr4_0.0.200911a-2.1_ppc64el.deb2014-10-24 21:39 146K
[   ]libladr-dev_0.0.200911a-2.1_ppc64el.deb2014-10-24 21:39 245K
[   ]prover9_0.0.200911a-2.1_ppc64el.deb2014-10-24 21:39 68K
[   ]ladr4-apps_0.0.200911a-2.1_ppc64el.deb2014-10-24 21:39 109K
[   ]libladr4_0.0.200911a-2.1_arm64.deb2014-10-25 04:01 133K
[   ]prover9_0.0.200911a-2.1_arm64.deb2014-10-25 04:01 69K
[   ]ladr4-apps_0.0.200911a-2.1_arm64.deb2014-10-25 04:01 113K
[   ]libladr-dev_0.0.200911a-2.1_arm64.deb2014-10-25 04:01 229K
[   ]libladr4_0.0.200911a-2.1_s390x.deb2015-12-04 09:22 160K
[   ]libladr-dev_0.0.200911a-2.1_s390x.deb2015-12-04 09:22 252K
[   ]prover9_0.0.200911a-2.1_s390x.deb2015-12-04 09:22 74K
[   ]ladr4-apps_0.0.200911a-2.1_s390x.deb2015-12-04 09:22 120K
[   ]ladr_0.0.200911a-2.1build1.debian.tar.xz2018-04-04 21:14 19K
[   ]ladr_0.0.200911a-2.1build1.dsc2018-04-04 21:14 2.1K
[   ]libladr-dev_0.0.200911a-2.1build1_arm64.deb2018-04-04 21:14 236K
[   ]libladr4_0.0.200911a-2.1build1_arm64.deb2018-04-04 21:14 137K
[   ]ladr4-apps_0.0.200911a-2.1build1_arm64.deb2018-04-04 21:14 107K
[   ]prover9_0.0.200911a-2.1build1_arm64.deb2018-04-04 21:14 68K
[   ]ladr4-apps_0.0.200911a-2.1build1_armhf.deb2018-04-04 21:14 107K
[   ]prover9_0.0.200911a-2.1build1_armhf.deb2018-04-04 21:14 70K
[   ]libladr4_0.0.200911a-2.1build1_armhf.deb2018-04-04 21:14 135K
[   ]libladr-dev_0.0.200911a-2.1build1_armhf.deb2018-04-04 21:14 233K
[   ]prover9_0.0.200911a-2.1build1_ppc64el.deb2018-04-04 21:14 73K
[   ]libladr4_0.0.200911a-2.1build1_ppc64el.deb2018-04-04 21:14 155K
[   ]libladr-dev_0.0.200911a-2.1build1_ppc64el.deb2018-04-04 21:14 255K
[   ]ladr4-apps_0.0.200911a-2.1build1_ppc64el.deb2018-04-04 21:14 115K
[   ]ladr4-apps_0.0.200911a-2.1build1_s390x.deb2018-04-04 21:14 120K
[   ]prover9_0.0.200911a-2.1build1_s390x.deb2018-04-04 21:14 75K
[   ]libladr-dev_0.0.200911a-2.1build1_s390x.deb2018-04-04 21:14 254K
[   ]libladr4_0.0.200911a-2.1build1_s390x.deb2018-04-04 21:14 161K

Apache/2.4.29 (Ubuntu) Server at us.ports.ubuntu.com Port 80