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.2
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.2)
Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_50.1-0ubuntu1.2_amd64.deb
Size: 12688
MD5sum: 2381a4efc883e7a22a4c0775b6fa9803
SHA1: 0cc6f56858c7c6958689aaa2b3539c0d0d8dabb4
SHA256: 95e41ba3f1b12f76e79552c85c85efc9aeee4a424d104338f6831826b6de9f1e
SHA512: 85ff117e03cab7f15acfecba55fbeaa734d28c1a502935bd34a4f844132c9f4d61e3d499c8480bb78e1f9d8a555d7d631a75ac128744e63c6270f6afb3d8bd75
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