Index of /ubuntu/pool/universe/m/maude

	Name	Last modified	Size	Description
	Parent Directory		-
	maude_2.7-1_amd64.deb	2015-12-17 18:44	755K
	maude_2.7-1_i386.deb	2015-12-17 18:44	776K
	maude_2.6-4_i386.deb	2013-10-24 18:33	878K
	maude_2.6-4_amd64.deb	2013-10-24 18:33	913K