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


../
edubuntu-menueditor_1.3.5-0ubuntu2.debian.tar.gz   25-Oct-2019 23:59                7327
edubuntu-menueditor_1.3.5-0ubuntu2.dsc             25-Oct-2019 23:59                1893
edubuntu-menueditor_1.3.5-0ubuntu2_all.deb         26-Oct-2019 00:13               26106
edubuntu-menueditor_1.3.5.orig.tar.gz              25-Oct-2019 23:59               36162