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

	Name	Last modified	Size	Description
	Parent Directory		-
	ladr_0.0.200902a.orig.tar.gz	2009-04-30 03:04	1.9M
	ladr_0.0.200902a-2.diff.gz	2009-05-18 05:04	17K
	ladr_0.0.200902a-2.dsc	2009-05-18 05:04	1.1K
	libladr4_0.0.200902a-2_armhf.deb	2011-12-06 16:19	162K
	prover9_0.0.200902a-2_armhf.deb	2011-12-06 16:19	91K
	ladr4-apps_0.0.200902a-2_armhf.deb	2011-12-06 16:19	298K
	libladr-dev_0.0.200902a-2_armhf.deb	2011-12-06 16:19	312K
	ladr_0.0.200902a-2.1.diff.gz	2012-04-30 16:54	18K
	ladr_0.0.200902a-2.1.dsc	2012-04-30 16:54	1.9K
	libladr-dev_0.0.200902a-2.1_armhf.deb	2012-05-02 04:34	313K
	libladr4_0.0.200902a-2.1_armhf.deb	2012-05-02 04:34	163K
	prover9_0.0.200902a-2.1_armhf.deb	2012-05-02 04:34	92K
	ladr4-apps_0.0.200902a-2.1_armhf.deb	2012-05-02 04:34	299K
	ladr_0.0.200911a-2.debian.tar.gz	2013-05-25 10:33	22K
	ladr_0.0.200911a-2.dsc	2013-05-25 10:33	1.3K
	ladr_0.0.200911a.orig.tar.gz	2013-05-25 10:33	1.7M
	ladr4-apps_0.0.200911a-2_armhf.deb	2013-05-25 12:03	286K
	libladr-dev_0.0.200911a-2_armhf.deb	2013-05-25 12:03	314K
	libladr4_0.0.200911a-2_armhf.deb	2013-05-25 12:03	156K
	prover9_0.0.200911a-2_armhf.deb	2013-05-25 12:03	89K