../ edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz 30-May-2012 20:04 7327 edubuntu-menueditor_1.3.5-0ubuntu2.dsc 30-May-2012 20:04 1893 edubuntu-menueditor_1.3.5-0ubuntu2_all.deb 30-May-2012 20:05 25K edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz 14-Jan-2020 20:13 6772 edubuntu-menueditor_1.3.5-0ubuntu3.dsc 14-Jan-2020 20:13 1937 edubuntu-menueditor_1.3.5-0ubuntu3_all.deb 14-Jan-2020 20:23 21K edubuntu-menueditor_1.3.5.orig.tar.gz 20-Dec-2011 10:34 35K