1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
Source: gnome-shell-extension-arc-menu
Section: gnome
Priority: optional
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Uploaders:
Jonathan <jcc@debian.org>,
Build-Depends:
debhelper-compat (= 13),
gettext,
libgettextpo-dev,
libglib2.0-bin,
python3,
Standards-Version: 4.7.0
Rules-Requires-Root: no
Homepage: https://gitlab.com/arcmenu/ArcMenu
Vcs-Browser: https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-arc-menu
Vcs-Git: https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-arc-menu.git
Package: gnome-shell-extension-arc-menu
Architecture: all
Depends:
gir1.2-gmenu-3.0,
gnome-shell (>= ${gnome:MinimumVersion}~),
gnome-shell (<< ${gnome:MaximumVersion}~),
${misc:Depends},
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.
|
