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 <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
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