Package: gnome-shell-extension-prefs
Architecture: amd64
Version: 46.0-0ubuntu5
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: 70
Provides: gnome-extensions-app
Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.73.1), gnome-shell (= 46.0-0ubuntu5), gnome-shell-common (= 46.0-0ubuntu5)
Recommends: chrome-gnome-shell
Breaks: gnome-shell (<< 3.36.0-2)
Replaces: gnome-shell (<< 3.36.0-2)
Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_46.0-0ubuntu5_amd64.deb
Size: 11250
MD5sum: dc980c8f318690404e8dfb49a41298fb
SHA1: 12c1c9e22f70d6972c768f058dfa57ae44d925f4
SHA256: aa64a51fffe66ac3ece943af1e603282c5f9c5fb675770bd453627d871b7e92e
SHA512: d5783956036ce5d0103027ed2d16721fe1512c98f266410bf637db3b52547e1ab71cf7f5bbb3c6d2228d75d7068b514b652e08ed06cab2282bac2d75fe557871
Homepage: https://wiki.gnome.org/Projects/GnomeShell
Description: tool to enable / disable GNOME Shell extensions
Task: edubuntu-desktop-gnome-minimal, edubuntu-desktop-gnome, edubuntu-desktop-gnome-raspi
Description-md5: b750b0280408e85a2232c9f629868acf