Package: gnome-shell-extension-prefs Architecture: amd64 Version: 48.0-1ubuntu1.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: 79 Provides: gnome-extensions-app Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.73.1), gnome-shell (= 48.0-1ubuntu1.3) Recommends: gnome-browser-connector Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_48.0-1ubuntu1.3_amd64.deb Size: 11626 MD5sum: f0559a6059e87806ce20bfe027d33d5e SHA1: ca6e0fa2ef5784740f54a771e6260dd4124cbc02 SHA256: 87adb5eccbb9e43e465af3be2f1076543a4cd58cf9b0d2eb8561476aa86e3d97 SHA512: 84e1c48de5fde5c85cd3012bac6bc6b9e0f6204542dcd3b7d0c05bdfb0c45fd785ac32b6eb48712b0b0db193935bb6379d5fc85d620dcedd2cb69087bea22157 Homepage: https://wiki.gnome.org/Projects/GnomeShell Description: tool to enable / disable GNOME Shell extensions Description-md5: b750b0280408e85a2232c9f629868acf