Package: gnome-shell-extension-prefs
Source: gnome-shell
Priority: optional
Section: universe/gnome
Installed-Size: 67
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 50.1-0ubuntu1.3
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.3)
Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_50.1-0ubuntu1.3_amd64.deb
Size: 12688
MD5sum: 40d871db16ed86098ba805cccadba95f
SHA1: 3655b6dca3436f564f99334bd8fcc8717d113741
SHA256: 2dc975290e7fba171e02d9a4cbfd98ebaf8e4fa8f6c6d5a895a896e2cfde64c3
SHA512: 0c736f8ab558b22e1a944463db55860ca18e4b040d4a741c39174513541ae8de632e0f45edc715477fd877a6bf4e1b56ce988bf40b4a6f5704cd8a7bafa72c6c
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