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

	Name	Last modified	Size
	Parent Directory		-
	ladr4-apps_0.0.200911a-2.1_amd64.deb	2014-10-24 23:36	126K
	ladr4-apps_0.0.200911a-2.1build1_amd64.deb	2018-04-04 23:23	134K
	libladr-dev_0.0.200911a-2.1_amd64.deb	2014-10-24 23:36	248K
	libladr-dev_0.0.200911a-2.1build1_amd64.deb	2018-04-04 23:23	256K
	libladr4_0.0.200911a-2.1_amd64.deb	2014-10-24 23:36	162K
	libladr4_0.0.200911a-2.1build1_amd64.deb	2018-04-04 23:23	164K
	prover9_0.0.200911a-2.1_amd64.deb	2014-10-24 23:36	74K
	prover9_0.0.200911a-2.1build1_amd64.deb	2018-04-04 23:23	76K