Index of /nova/pool/extendido/e/edubuntu-menueditor/

../
edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz   10-Jun-2020 13:07                7327
edubuntu-menueditor_1.3.5-0ubuntu2.dsc             10-Jun-2020 13:07                1893
edubuntu-menueditor_1.3.5-0ubuntu2_all.deb         10-Jun-2020 09:22               26106
edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz   21-Jun-2020 20:36                6772
edubuntu-menueditor_1.3.5-0ubuntu3.dsc             21-Jun-2020 20:36                1937
edubuntu-menueditor_1.3.5-0ubuntu3_all.deb         22-Jun-2020 11:57               22012
edubuntu-menueditor_1.3.5.orig.tar.gz              10-Jun-2020 13:07               36162