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