Codebase list gnome-shell-extensions / debian/3.20.1-1 debian / control
debian/3.20.1-1

Tree @debian/3.20.1-1 (Download .tar.gz)

control @debian/3.20.1-1 — raw · history · blame 

 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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
# This file is autogenerated. DO NOT EDIT!
# 
# Modifications should be made to debian/control.in instead.
# This file is regenerated automatically in the clean target.
Source: gnome-shell-extensions
Section: gnome
Priority: optional
Maintainer: Debian GNOME Maintainers <[email protected]>
Uploaders: Victor Seva <[email protected]>, Andreas Henriksson <[email protected]>, Laurent Bigonville <[email protected]>, Michael Biebl <[email protected]>
Build-Depends: debhelper (>= 9),
               cdbs,
               dh-autoreconf,
               gnome-common,
               gnome-pkg-tools,
               intltool,
               libgnome-desktop-3-dev (>= 3.2.0),
Standards-Version: 3.9.8
Homepage: https://wiki.gnome.org/Projects/GnomeShell/Extensions
Vcs-Svn: svn://anonscm.debian.org/pkg-gnome/packages/unstable/gnome-shell-extensions
Vcs-Browser: https://anonscm.debian.org/viewvc/pkg-gnome/packages/unstable/gnome-shell-extensions

Package: gnome-shell-extensions
Architecture: all
Depends: ${misc:Depends},
         gnome-shell (>= ${gnome:Version}),
         gnome-shell (<< ${gnome:NextVersion}),
         gir1.2-atk-1.0,
         gir1.2-clutter-1.0,
         gir1.2-gdkpixbuf-2.0,
         gir1.2-glib-2.0,
         gir1.2-gmenu-3.0,
         gir1.2-gtk-3.0,
         gir1.2-mutter-3.0,
         gir1.2-pango-1.0,
         gvfs (>= 1.16.0),
         gnome-session (>= 3.8)
Recommends: gnome-tweak-tool (>= ${gnome:Version})
Replaces: gnome-shell-common (<< 3.18)
Breaks: gnome-shell-common (<< 3.18)
Description: Extensions to extend functionality of GNOME Shell
 The GNOME Shell redefines user interactions with the GNOME desktop. In
 particular, it offers new paradigms for launching applications,
 accessing documents, and organizing open windows in GNOME. Later, it
 will introduce a new applets eco-system and offer new solutions for
 other desktop features, such as notifications and contacts management.
 The GNOME Shell is intended to replace functions handled by the GNOME
 Panel and by the window manager in previous versions of GNOME. The GNOME
 Shell has rich visual effects enabled by new graphical technologies.
 .
 GNOME Shell is extensible using extensions. This package contains
 official GNOME Shell extensions.