Package: gnome-shell-extensions
Priority: optional
Section: universe/gnome
Installed-Size: 1166
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Architecture: all
Version: 3.18.3-2
Replaces: gnome-shell-common (<< 3.18)
Depends: dconf-gsettings-backend | gsettings-backend, gnome-shell (>= 3.18), gnome-shell (<< 3.19), 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 (>= 3.18)
Breaks: gnome-shell-common (<< 3.18)
Filename: pool/universe/g/gnome-shell-extensions/gnome-shell-extensions_3.18.3-2_all.deb
Size: 156240
MD5sum: a23d595985a734787c07cb5257e2b48e
SHA1: f8a80b5f38ededfda56a15506b8e7a84df30361c
SHA256: 219d6bbe5961336343be63a8ec43137cb8440d23f738dc8687b91721ae880ac9
Description: Extensions to extend functionality of GNOME Shell
Homepage: https://wiki.gnome.org/Projects/GnomeShell/Extensions
Description-md5: 84cde06696cd051cbc9e19abcb0efe82
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu
Supported: 3y
Task: ubuntu-gnome-desktop