File: control

package info (click to toggle)
gnome-shell-extension-manager 0.6.5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 3,912 kB
  • sloc: ansic: 11,221; xml: 80; sh: 10; makefile: 4
file content (29 lines) | stat: -rw-r--r-- 1,199 bytes parent folder | download 
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
 
Source: gnome-shell-extension-manager
Section: gnome
Priority: optional
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Uploaders: Heather Ellsworth <hellsworth@protonmail.com>,
           Jeremy Bícha <jbicha@ubuntu.com>
Build-Depends: debhelper-compat (= 13),
               appstream <!nocheck>,
               blueprint-compiler,
               desktop-file-utils,
               gnome-shell,
               libadwaita-1-dev (>= 1.8~alpha),
               libgtk-4-dev,
               libjson-glib-dev,
               libsoup-3.0-dev,
               libxml2-dev,
               libxml2-utils,
               meson (>= 0.59.0)
Standards-Version: 4.7.2
Vcs-Git: https://salsa.debian.org/gnome-team/gnome-shell-extension-manager.git
Vcs-Browser: https://salsa.debian.org/gnome-team/gnome-shell-extension-manager
Homepage: https://github.com/mjakeman/extension-manager

Package: gnome-shell-extension-manager
Architecture: any
Depends: gjs, gnome-shell, unzip, ${misc:Depends}, ${shlibs:Depends}
Description: Utility for managing GNOME Shell Extensions
 The GNOME shell extension manager is a tool for helping you manage your
 installed GNOME shell extensions.