Index of /ubuntu/pool/universe/e/edubuntu-menueditor

	Name	Last modified	Size
	Parent Directory		-
	edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz	30-May-2012 22:04	7.2K
	edubuntu-menueditor_1.3.5-0ubuntu2.dsc	30-May-2012 22:04	1.8K
	edubuntu-menueditor_1.3.5-0ubuntu2_all.deb	30-May-2012 22:05	25K
	edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz	14-Jan-2020 21:13	6.6K
	edubuntu-menueditor_1.3.5-0ubuntu3.dsc	14-Jan-2020 21:13	1.9K
	edubuntu-menueditor_1.3.5-0ubuntu3_all.deb	14-Jan-2020 21:23	21K
	edubuntu-menueditor_1.3.5.orig.tar.gz	20-Dec-2011 11:34	35K