| Parent directory/ | - | - |
| edubuntu-menueditor_1.3.5.orig.tar.gz | 35.3 KiB | December 20, 2011 17:34 |
| edubuntu-menueditor_1.3.5-0ubuntu3_all.deb | 21.5 KiB | January 15, 2020 03:23 |
| edubuntu-menueditor_1.3.5-0ubuntu3.dsc | 1.9 KiB | January 15, 2020 03:13 |
| edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz | 6.6 KiB | January 15, 2020 03:13 |
| edubuntu-menueditor_1.3.5-0ubuntu2_all.deb | 25.5 KiB | May 31, 2012 03:05 |
| edubuntu-menueditor_1.3.5-0ubuntu2.dsc | 1.8 KiB | May 31, 2012 03:04 |
| edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz | 7.2 KiB | May 31, 2012 03:04 |