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

Icon  Name                                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                                      -   
[   ] edubuntu-menueditor_1.3.5.orig.tar.gz            2011-12-20 11:34   35K  
[TXT] edubuntu-menueditor_1.3.5-0ubuntu2.dsc           2012-05-30 22:04  1.8K  
[   ] edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz 2012-05-30 22:04  7.2K  
[   ] edubuntu-menueditor_1.3.5-0ubuntu2_all.deb       2012-05-30 22:05   25K  
[   ] edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz 2020-01-14 21:13  6.6K  
[TXT] edubuntu-menueditor_1.3.5-0ubuntu3.dsc           2020-01-14 21:13  1.9K  
[   ] edubuntu-menueditor_1.3.5-0ubuntu3_all.deb       2020-01-14 21:23   21K
Apache/2.4.58 (Ubuntu) Server at dewy.fem.tu-ilmenau.de Port 80