Package: gnome-shell-extension-user-theme
Source: gnome-shell-extensions
Version: 49.0-2
Architecture: all
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Installed-Size: 30
Depends: gnome-shell (<< 50~), gnome-shell (>= 49~), gnome-shell-extensions-common (= 49.0-2), dconf-gsettings-backend | gsettings-backend
Recommends: gnome-shell-extension-prefs | gnome-shell-extension-manager
Breaks: gnome-shell-extensions (<< 47)
Replaces: gnome-shell-extensions (<< 47)
Section: gnome
Priority: optional
Homepage: https://wiki.gnome.org/Projects/GnomeShell/Extensions
Description: GNOME Shell extension to load alternative GNOME Shell themes
 GNOME Shell is extensible using extensions. This package contains an
 official GNOME Shell extension to allow switching to alternative
 GNOME Shell themes.
