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

../
edubuntu-menueditor_1.3.5-0ubuntu3.debian.tar.xz   30-Aug-2023 22:42                6772
edubuntu-menueditor_1.3.5-0ubuntu3.dsc             30-Aug-2023 22:42                1937
edubuntu-menueditor_1.3.5-0ubuntu3_all.deb         30-Aug-2023 22:42               22012
edubuntu-menueditor_1.3.5.orig.tar.gz              30-Aug-2023 22:42               36162