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

	Name	Last modified	Size	Description
	Parent Directory		-
	maude_2.6-2.debian.tar.gz	18-Nov-2011 23:04	4.9K
	maude_2.6-2.dsc	18-Nov-2011 23:04	1.4K
	maude_2.6-2_amd64.deb	19-Nov-2011 00:04	913K
	maude_2.6-2_i386.deb	18-Nov-2011 23:07	887K
	maude_2.6-4.debian.tar.gz	24-Oct-2013 20:13	5.0K
	maude_2.6-4.dsc	24-Oct-2013 20:13	1.4K
	maude_2.6-4_amd64.deb	24-Oct-2013 20:33	913K
	maude_2.6-4_i386.deb	24-Oct-2013 20:33	878K
	maude_2.6.orig.tar.gz	04-May-2011 23:07	1.5M
	maude_2.7-1.debian.tar.xz	17-Dec-2015 20:14	6.3K
	maude_2.7-1.dsc	17-Dec-2015 20:14	2.0K
	maude_2.7-1_amd64.deb	17-Dec-2015 20:44	755K
	maude_2.7-1_i386.deb	17-Dec-2015 20:44	776K
	maude_2.7-2.debian.tar.xz	27-Apr-2016 08:19	6.6K
	maude_2.7-2.dsc	27-Apr-2016 08:19	2.0K
	maude_2.7-2_amd64.deb	27-Apr-2016 12:26	811K
	maude_2.7-2_i386.deb	27-Apr-2016 12:41	776K
	maude_2.7-2build1.debian.tar.xz	05-Sep-2019 20:28	6.6K
	maude_2.7-2build1.dsc	05-Sep-2019 20:28	2.0K
	maude_2.7-2build1_amd64.deb	05-Sep-2019 21:27	827K
	maude_2.7-2build1_i386.deb	05-Sep-2019 21:29	886K
	maude_2.7.orig.tar.gz	17-Dec-2015 20:14	1.6M