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+b2_amd64.deb	2017-02-25 07:43	156K
	ladr4-apps_0.0.200911a-2.1+b2_arm64.deb	2017-02-25 07:12	127K
	ladr4-apps_0.0.200911a-2.1+b2_armhf.deb	2017-02-25 07:58	130K
	ladr4-apps_0.0.200911a-2.1+b2_i386.deb	2017-02-25 07:58	153K
	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+b2_amd64.deb	2017-02-25 07:43	278K
	libladr-dev_0.0.200911a-2.1+b2_arm64.deb	2017-02-25 07:12	252K
	libladr-dev_0.0.200911a-2.1+b2_armhf.deb	2017-02-25 07:58	253K
	libladr-dev_0.0.200911a-2.1+b2_i386.deb	2017-02-25 07:58	304K
	libladr4_0.0.200911a-2.1+b2_amd64.deb	2017-02-25 07:43	184K
	libladr4_0.0.200911a-2.1+b2_arm64.deb	2017-02-25 07:12	153K
	libladr4_0.0.200911a-2.1+b2_armhf.deb	2017-02-25 07:58	155K
	libladr4_0.0.200911a-2.1+b2_i386.deb	2017-02-25 07:58	206K
	prover9_0.0.200911a-2.1+b2_amd64.deb	2017-02-25 07:43	100K
	prover9_0.0.200911a-2.1+b2_arm64.deb	2017-02-25 07:12	91K
	prover9_0.0.200911a-2.1+b2_armhf.deb	2017-02-25 07:58	94K
	prover9_0.0.200911a-2.1+b2_i386.deb	2017-02-25 07:58	107K