Package: gnome-shell-extensions Priority: optional Section: universe/gnome Installed-Size: 1166 Maintainer: Ubuntu Developers Original-Maintainer: Debian GNOME Maintainers 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