Package: gnome-shell-extensions
Priority: optional
Section: universe/gnome
Installed-Size: 1172
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.10.1-0ubuntu2
Depends: dconf-gsettings-backend | gsettings-backend, gnome-shell (>= 3.10), gnome-shell (<< 3.11), gir1.2-gtop-2.0, gvfs (>= 1.16.0), gnome-session (>= 3.8)
Recommends: gnome-tweak-tool (>= 3.10)
Filename: pool/universe/g/gnome-shell-extensions/gnome-shell-extensions_3.10.1-0ubuntu2_all.deb
Size: 119244
MD5sum: 6a3be98335142300c667c06a964ede9b
SHA1: 498527d52e3731743d2588417716164f1c751a7d
SHA256: c318ee671d3c4a15bafbbfc7c4c0fe5b9b1956fe0d866290a366fcc65d5a1179
Description: Extensions to extend functionality of GNOME Shell
Homepage: https://wiki.gnome.org/GnomeShell/Extensions
Description-md5: 84cde06696cd051cbc9e19abcb0efe82
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu
Supported: 3y
Task: ubuntu-gnome-desktop