deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Breaks: gnome-shell-extensions (<< 47)
Depends: gnome-shell (<< 48~), gnome-shell (>= 47~), gnome-shell-extensions-common
(= 47.0-3), dconf-gsettings-backend | gsettings-backend
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.
Homepage: https://wiki.gnome.org/Projects/GnomeShell/Extensions
Installed-Size: '31'
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Package: gnome-shell-extension-user-theme
Priority: optional
Recommends: gnome-shell-extension-prefs | gnome-shell-extension-manager
Replaces: gnome-shell-extensions (<< 47)
Section: gnome
Source: gnome-shell-extensions
Version: 47.0-3
srcpkg_name: gnome-shell-extensions
srcpkg_version: 47.0-3