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.1build1_amd64.deb	2018-04-05 09:23	134K
	ladr4-apps_0.0.200911a-2.1build1_i386.deb	2018-04-05 09:14	131K
	ladr4-apps_0.0.200911a-2.1_amd64.deb	2014-10-25 10:36	126K
	ladr4-apps_0.0.200911a-2.1_i386.deb	2014-10-25 10:38	117K
	ladr4-apps_0.0.200911a-2_amd64.deb	2013-05-26 07:03	314K
	ladr4-apps_0.0.200911a-2_i386.deb	2013-05-26 07:03	298K
	ladr_0.0.200911a-2.1.debian.tar.xz	2014-10-24 22:05	19K
	ladr_0.0.200911a-2.1.dsc	2014-10-24 22:05	1.3K
	ladr_0.0.200911a-2.1build1.debian.tar.xz	2018-04-05 09:14	19K
	ladr_0.0.200911a-2.1build1.dsc	2018-04-05 09:14	2.1K
	ladr_0.0.200911a-2.debian.tar.gz	2013-05-26 05:33	22K
	ladr_0.0.200911a-2.dsc	2013-05-26 05:33	1.3K
	ladr_0.0.200911a.orig.tar.gz	2013-05-26 05:33	1.7M
	libladr-dev_0.0.200911a-2.1build1_amd64.deb	2018-04-05 09:23	256K
	libladr-dev_0.0.200911a-2.1build1_i386.deb	2018-04-05 09:14	281K
	libladr-dev_0.0.200911a-2.1_amd64.deb	2014-10-25 10:36	248K
	libladr-dev_0.0.200911a-2.1_i386.deb	2014-10-25 10:38	256K
	libladr-dev_0.0.200911a-2_amd64.deb	2013-05-26 07:03	349K
	libladr-dev_0.0.200911a-2_i386.deb	2013-05-26 07:03	329K
	libladr4_0.0.200911a-2.1build1_amd64.deb	2018-04-05 09:23	164K
	libladr4_0.0.200911a-2.1build1_i386.deb	2018-04-05 09:14	185K
	libladr4_0.0.200911a-2.1_amd64.deb	2014-10-25 10:36	162K
	libladr4_0.0.200911a-2.1_i386.deb	2014-10-25 10:38	182K
	libladr4_0.0.200911a-2_amd64.deb	2013-05-26 07:03	194K
	libladr4_0.0.200911a-2_i386.deb	2013-05-26 07:03	197K
	prover9_0.0.200911a-2.1build1_amd64.deb	2018-04-05 09:23	76K
	prover9_0.0.200911a-2.1build1_i386.deb	2018-04-05 09:14	83K
	prover9_0.0.200911a-2.1_amd64.deb	2014-10-25 10:36	74K
	prover9_0.0.200911a-2.1_i386.deb	2014-10-25 10:38	76K
	prover9_0.0.200911a-2_amd64.deb	2013-05-26 07:03	96K
	prover9_0.0.200911a-2_i386.deb	2013-05-26 07:03	89K