Index of /pool/universe/e/edubuntu-menueditor
Name Last modified Size Description
Parent Directory -
edubuntu-menueditor_1.3.5-0ubuntu2.dsc 2012-05-30 23:04 1.8K
edubuntu-menueditor_1.3.5-0ubuntu3.dsc 2020-01-14 22:13 1.9K
edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz 2020-01-14 22:13 6.6K
edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz 2012-05-30 23:04 7.2K
edubuntu-menueditor_1.3.5-0ubuntu3_all.deb 2020-01-14 22:23 21K
edubuntu-menueditor_1.3.5-0ubuntu2_all.deb 2012-05-30 23:05 25K
edubuntu-menueditor_1.3.5.orig.tar.gz 2011-12-20 12:34 35K