Package: gnome-shell-extension-prefs
Source: gnome-shell
Priority: optional
Section: universe/gnome
Installed-Size: 68
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 50.1-0ubuntu1.5
Recommends: gnome-browser-connector
Provides: gnome-extensions-app
Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.87.1), gnome-shell (= 50.1-0ubuntu1.5)
Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_50.1-0ubuntu1.5_amd64.deb
Size: 12692
MD5sum: aa5f892edaf1fcf0ec2e9d6f4d029c33
SHA1: fcfff363429a6fe2d9d6fc2ffe8e29dfba7d6962
SHA256: dd0cfbc8cbaea1aaae39258b196b9657d5870c6c54e37a400aff801c8a693541
SHA512: bacd83f6483fcb1f4a6f499c2778c4fb7ecb59044e808bf916fb63638b3f2508a15a56af5294254879a58adb6b123829a4dbbaf58de58999a9bfa10b1cc728ab
Homepage: https://gitlab.gnome.org/GNOME/gnome-shell
Description: tool to enable / disable GNOME Shell extensions
Description-md5: b750b0280408e85a2232c9f629868acf
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug