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-2), dconf-gsettings-backend | gsettings-backend
Description: |-
Workspace indicator for GNOME Shell
GNOME Shell is extensible using extensions. This package contains an
official GNOME Shell extension to add an indicator to the panel to
show what workspace you are using and allow you to switch to a different
workspace.
Homepage: https://wiki.gnome.org/Projects/GnomeShell/Extensions
Installed-Size: '53'
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Package: gnome-shell-extension-workspace-indicator
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-2
srcpkg_name: gnome-shell-extensions
srcpkg_version: 47.0-2