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

	Name	Last modified	Size	Description
	Parent Directory		-
	maude_2.7-2_amd64.deb	2021-02-10 17:38	811K
	maude_2.7-2_i386.deb	2021-02-10 17:38	776K