Package: gnome-shell-extensions Architecture: all Version: 42.0-1 Priority: optional Section: universe/gnome Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian GNOME Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 1173 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.0-1_all.deb Size: 173378 MD5sum: e878ef1e7622fbb2153a839e71c44af3 SHA1: e740819bd15ef7a3e6730ce746bc4845529af4f9 SHA256: 0543cd0af8d6c4ca4e176ce8171ab087b50e8df2a2c719a60bb9f6e76b7256db SHA512: c2a607924137e280cde4108a52b1ff5d699359d07c991f1510f73657585e646be91dcbe522bfb4c81efd05b8f4bf4e46e7e09e2a81b7187d882b275438ef4a04 Homepage: https://wiki.gnome.org/Projects/GnomeShell/Extensions Description: Extensions to extend functionality of GNOME Shell Description-md5: 84cde06696cd051cbc9e19abcb0efe82