Package: edubuntu-menueditor Priority: optional Section: universe/misc Installed-Size: 226 Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> Architecture: all Version: 1.3.5-0ubuntu2 Depends: python2.7, python (>= 2.7.1-0ubuntu2), python (<< 2.8), desktop-profiles Filename: pool/universe/e/edubuntu-menueditor/edubuntu-menueditor_1.3.5-0ubuntu2_all.deb Size: 26106 MD5sum: 9404d7a4b9c811081715a56b038c4d48 SHA1: 3065f5a754c8f1dd2f066cc39ce96cedbb9dd049 SHA256: f0c51cf2883d463ca48e16a7011222b72817b18bdb13f93c721df59afdddac23 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