Package: gnome-shell-extensions Architecture: all Version: 42.1-0ubuntu1 Priority: optional Section: universe/gnome Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian GNOME Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 1138 Depends: gir1.2-adw-1, gir1.2-atk-1.0, gir1.2-glib-2.0, gir1.2-gmenu-3.0, gir1.2-graphene-1.0 (>= 1.10.2), gir1.2-gtk-4.0, gir1.2-pango-1.0, gnome-session-bin (>= 3.8), gnome-settings-daemon (>= 3.24), gnome-shell (<< 43~), gnome-shell (>= 42~), gvfs (>= 1.16.0), dconf-gsettings-backend | gsettings-backend Recommends: gnome-shell-extension-prefs Breaks: gnome-shell-common (<< 3.18) Replaces: gnome-shell-common (<< 3.18) Filename: pool/universe/g/gnome-shell-extensions/gnome-shell-extensions_42.1-0ubuntu1_all.deb Size: 170960 MD5sum: 89083f566bb887e796b4621c5fde37e6 SHA1: 2309c8ad467a072c8ef142eb12d73db9a6700e86 SHA256: 22ef51864eed161ece9f9a06ea21968a4b1cd0674333d857652b3f746f7ef046 SHA512: d2dd3e08faee82973fffff7550c67694983c190d4ed836c8a73dad090073a391180b835ab210a55c5ec4097c5c06019221f9bae6a0746dc1b31e8103cdc2c5f5 Homepage: https://wiki.gnome.org/Projects/GnomeShell/Extensions Description: Extensions to extend functionality of GNOME Shell Description-md5: 84cde06696cd051cbc9e19abcb0efe82