Package: gnome-shell-extension-places-menu
Source: gnome-shell-extensions
Version: 50.2-2
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: 40
Depends: gnome-shell (<< 51~), gnome-shell (>= 50~), gnome-shell-extensions-common (= 50.2-2)
Recommends: gnome-shell-extension-prefs | gnome-shell-extension-manager
Section: gnome
Priority: optional
Homepage: https://wiki.gnome.org/Projects/GnomeShell/Extensions
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.
