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

	Name	Last modified	Size	Description
	Parent Directory		-
	maude_2.7-1_arm64.deb	2015-12-17 13:54	677K
	maude_2.7-1_armhf.deb	2015-12-17 11:44	612K
	maude_3.2-2build1_arm64.deb	2024-04-08 19:24	1.0M