Package: gnome-shell-extension-prefs Architecture: amd64 Version: 42.9-0ubuntu2.3 Priority: optional Section: universe/gnome Source: gnome-shell Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian GNOME Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 90 Provides: gnome-extensions-app Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.71.1), gnome-shell (= 42.9-0ubuntu2.3), gnome-shell-common (= 42.9-0ubuntu2.3) Recommends: chrome-gnome-shell Breaks: gnome-shell (<< 3.36.0-2) Replaces: gnome-shell (<< 3.36.0-2) Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_42.9-0ubuntu2.3_amd64.deb Size: 9166 MD5sum: 1d6c69cc46c0d1e5249db558f880c9ba SHA1: 060829e3d84b1b39b5f1a4a2434457db309bc687 SHA256: b537ab40c342bbd9cef6494d9ee9f2e6a231aa6dc8cb187f089cbadb3d3ea503 SHA512: dc7adc0ca876198b7bf4452d55b95acf231661bc4647fd8233570bb1574ea69579009051ad161a46633c9ed2dd9aa8191085e1bf1e64888db8f5f66c46976a82 Homepage: https://wiki.gnome.org/Projects/GnomeShell Description: tool to enable / disable GNOME Shell extensions Description-md5: b750b0280408e85a2232c9f629868acf