deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Depends: gnome-shell (>= 45~), gnome-shell (<< 48~)
Description: |-
shell extension designed to provide a panel menu
GNOME Arc Menu is a GNOME shell extension designed to replace the standard
menu found in GNOME 3 this application menu extension has some added benefits
over the standard menu found in GNOME 3, these include the long awaited
search functionality as well as quick access to files on your system and
also the current logged in user along with quick access to the software
centre and system settings and other features which can be accessed from the
settings menu.
Homepage: https://gitlab.com/arcmenu/ArcMenu
Installed-Size: '2888'
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Package: gnome-shell-extension-arc-menu
Priority: optional
Recommends: gir1.2-gmenu-3.0
Section: gnome
Version: 63-2
srcpkg_name: gnome-shell-extension-arc-menu
srcpkg_version: 63-2