Free Software Mirror Group

You're currently connected directly to one of our mirror nodes. You should use mirror.fsmg.org.nz instead. For more information please visit our website.

	Name	Last modified	Size
	Parent Directory		-
	ladr4-apps_0.0.200911a-2.1_armhf.deb	2014-10-26 00:10	129K
	ladr_0.0.200911a-2.1.debian.tar.xz	2014-10-09 23:53	19K
	ladr_0.0.200911a-2.1.dsc	2014-10-09 23:53	1.3K
	ladr_0.0.200911a.orig.tar.gz	2012-12-13 08:04	1.7M
	libladr-dev_0.0.200911a-2.1_armhf.deb	2014-10-26 00:10	242K
	libladr4_0.0.200911a-2.1_armhf.deb	2014-10-26 00:10	154K
	prover9_0.0.200911a-2.1_armhf.deb	2014-10-26 00:10	91K