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)
Description: |-
Places menu for GNOME Shell
GNOME Shell is extensible using extensions. This package contains an
official GNOME Shell extension to add a menu for quickly navigating to
places in the system, similar to the menu in GNOME 2.
.
This package is part of the GNOME Classic default set of extensions.
Homepage: https://wiki.gnome.org/Projects/GnomeShell/Extensions
Installed-Size: '43'
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Package: gnome-shell-extension-places-menu
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