Package: edubuntu-menueditor Priority: optional Section: universe/misc Installed-Size: 223 Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> Architecture: all Version: 1.3.5-0ubuntu1 Depends: python2.7, python (>= 2.7.1-0ubuntu2), python (<< 2.8), desktop-profiles Filename: pool/universe/e/edubuntu-menueditor/edubuntu-menueditor_1.3.5-0ubuntu1_all.deb Size: 25218 MD5sum: 03614de768d963607f7a35fb8cdebf05 SHA1: 4506a12b2fea517b19aa4d461daab1448604cdb3 SHA256: a9a547925ea34bfc3b87335b505b023d38474915182e2c206260b647aa4a3e71 Description: Simple ui to manage different menu profiles on a system Homepage: http://www.edubuntu.org Description-md5: aff23371a0a2dbcfd3a650b37d0a6325 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu Task: edubuntu-desktop-gnome