Package: gnome-shell-extension-workspace-indicator
Source: gnome-shell-extensions
Version: 48.0-1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Installed-Size: 52
Depends: gnome-shell (<< 49~), gnome-shell (>= 48~), gnome-shell-extensions-common (= 48.0-1), 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: 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.
