Package: gnome-shell-extension-prefs Architecture: amd64 Version: 3.36.1-5ubuntu1 Priority: optional Section: universe/gnome Source: gnome-shell Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian GNOME Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 65 Depends: gnome-shell (= 3.36.1-5ubuntu1), gnome-shell-common (= 3.36.1-5ubuntu1) Breaks: gnome-shell (<< 3.36.0-2) Replaces: gnome-shell (<< 3.36.0-2) Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_3.36.1-5ubuntu1_amd64.deb Size: 5672 MD5sum: 42336c359e5aaa5a955fbd4866c6c106 SHA1: c429186c02275ae372e4770dd6df15441bc94eef SHA256: 38e973f8773bf6ef2053163a152ffd8824644e35b63b689ca6bc82a8ce1b5aff Homepage: https://wiki.gnome.org/Projects/GnomeShell Description: tool to enable / disable GNOME Shell extensions Description-md5: 0bb56d41fa10b46319416b27f295caba