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
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)
Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_50.1-0ubuntu1_amd64.deb
Size: 12688
MD5sum: 8e680848177419ba7435fb57df32191e
SHA1: 17422c46146ac26c9152e57325b7a31feb072981
SHA256: 645005b65eb6468e77ddd742e5b092ebc01212c686f5b5ae170770f433e69f86
SHA512: e3ebcccb13338cb67344bd7b7a28401f1591288c0647af4602036385a462cbd0667537a3ad97f6f4e0a76260351c549bd02003ef9a6eab28f086624495bdde35
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