Package: gnome-shell-extension-prefs
Architecture: amd64
Version: 47.0-2ubuntu3.24.10.2
Priority: optional
Section: universe/gnome
Source: gnome-shell
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 75
Provides: gnome-extensions-app
Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.73.1), gnome-shell (= 47.0-2ubuntu3.24.10.2), gnome-shell-common (>= 47~)
Recommends: gnome-browser-connector
Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_47.0-2ubuntu3.24.10.2_amd64.deb
Size: 11344
MD5sum: 26e6ae8e579eee7c0c7ab33b7b379e04
SHA1: a2cff52cc8d195719f966e6d919b922b9ca3c91a
SHA256: 6e67afa143e86a90dd32494be66df3667716a5f2e5057da467ef9bf4842e2d3e
SHA512: 88870fa2722679676199861ae30d655b8006875b61d0791a3e299ece0aa0f3119ec5fb142648b985179c661a94107340f8d06332fb9acdb7591a437b78ed0154
Homepage: https://wiki.gnome.org/Projects/GnomeShell
Description: tool to enable / disable GNOME Shell extensions
Task: edubuntu-desktop-gnome-minimal, edubuntu-desktop-gnome, edubuntu-desktop-gnome-raspi
Description-md5: b750b0280408e85a2232c9f629868acf