Package: gnome-shell-extension-prefs
Source: gnome-shell
Priority: optional
Section: universe/gnome
Installed-Size: 73
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 46.0-0ubuntu6~24.04.14
Recommends: chrome-gnome-shell
Replaces: gnome-shell (<< 3.36.0-2)
Provides: gnome-extensions-app
Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.73.1), gnome-shell (= 46.0-0ubuntu6~24.04.14), gnome-shell-common (= 46.0-0ubuntu6~24.04.14)
Breaks: gnome-shell (<< 3.36.0-2)
Filename: pool/universe/g/gnome-shell/gnome-shell-extension-prefs_46.0-0ubuntu6~24.04.14_amd64.deb
Size: 11254
MD5sum: 7fcf76331f33113053fa93df30144c52
SHA1: f84b8cf9eba18b1e9a869b02d91bfe8bc7162283
SHA256: 708a75e722c754dace9a3426aee5c095cd1faafd4421d9852d9dbd7bd7bf5a96
SHA512: 9c865db6b0135a4ec9e0f72c3b7ec8aa79b7615f5fae38a0a86a8563cc80f93f0fad766c7e815a12fa61e7f513dd0be3c68fe483d9200850fc93407c734c4e17
Homepage: https://wiki.gnome.org/Projects/GnomeShell
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
Task: edubuntu-desktop-gnome-minimal, edubuntu-desktop-gnome, edubuntu-desktop-gnome-raspi