Package: gnome-shell-extension-prefs Architecture: amd64 Version: 42.0-2ubuntu1 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: 89 Provides: gnome-extensions-app Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.71.1), gnome-shell (= 42.0-2ubuntu1), gnome-shell-common (= 42.0-2ubuntu1) 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.0-2ubuntu1_amd64.deb Size: 8980 MD5sum: 2c28d20fdb36fea0e023cba7e88eb54f SHA1: d1c1e734f6b87942aed5d3d9e985f78f26757acf SHA256: a7da43a8fd5e5d3a558ff1e603f51ca547ed2a35c7fbdaab1bb4beff50d0056c SHA512: 0f889ced760fdc8f79c49859a508d86857bc35db4f4ef0806f003f5f5df21a81bdb3e518301eaaeb7684aac30efad9812f6c7c4e999e8ea13deecd73b9bf0acf Homepage: https://wiki.gnome.org/Projects/GnomeShell Description: tool to enable / disable GNOME Shell extensions Description-md5: b750b0280408e85a2232c9f629868acf