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.4
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.4)
Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_50.1-0ubuntu1.4_amd64.deb
Size: 12688
MD5sum: 15e8b94092b750b83669a4e2d7174d22
SHA1: 6a30cd4a51a191f6f058d34d58e7a65028f76a8a
SHA256: 3e1c199c1a495637b459d7a2ee83ea07d2b531cd231d121ef02254dba5ae4a4b
SHA512: c74315498e5479da3e3f0e439cb3d973eeeaf050488425daf44bca9b08ba699eadd25c8f5b28def4c2c718ff37d97e87abfa4806a705891f0c708475c03ae74c
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