Package: gnome-shell-extension-prefs
Source: gnome-shell
Version: 49.0-1ubuntu1.3
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Installed-Size: 85
Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.85.90), gnome-shell (= 49.0-1ubuntu1.3)
Recommends: gnome-browser-connector
Provides: gnome-extensions-app
Section: gnome
Priority: optional
Homepage: https://gitlab.gnome.org/GNOME/gnome-shell
Description: tool to enable / disable GNOME Shell extensions
 This package contains a tool which users who use Shell extensions can use to
 toggle them on and off, and access their preferences.
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
