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
Supported: 5y
Task: edubuntu-desktop-gnome