Index of /pub/trisquel-archive/trisquel/pool/main/m/maude

	Name	Last modified	Size	Description
	Parent Directory		-
	maude_2.6-1.debian.tar.gz	2011-05-04 10:07	39K
	maude_2.6-1.dsc	2011-05-04 10:07	1.3K
	maude_2.6-2.debian.tar.gz	2011-11-18 09:04	4.9K
	maude_2.6-2.dsc	2011-11-18 09:04	1.4K
	maude_2.6-4.debian.tar.gz	2013-10-24 07:13	5.0K
	maude_2.6-4.dsc	2013-10-24 07:13	1.4K
	maude_2.6-4_amd64.deb	2013-10-24 07:33	913K
	maude_2.6-4_i386.deb	2013-10-24 07:33	878K
	maude_2.6.orig.tar.gz	2011-05-04 10:07	1.5M