Package: gnome-shell-extension-prefs
Source: gnome-shell
Priority: optional
Section: gnome
Installed-Size: 84
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 49~rc-0ubuntu2~wip5
Recommends: gnome-browser-connector
Provides: gnome-extensions-app
Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.85.90), gnome-shell (= 49~rc-0ubuntu2~wip5)
Filename: pool/main/g/gnome-shell/gnome-shell-extension-prefs_49~rc-0ubuntu2~wip5_amd64.deb
Size: 48792
MD5sum: c6102149bedc9307e47556a3a601a5a5
SHA1: 006198cc5626ac8f4753105ac582b2b3b8af3d40
SHA256: 9750595bb512ff7fad7d59f86d93321fddcdb6221f5bfdcc5f5ffd960daa17e4
Description: tool to enable / disable GNOME Shell extensions
Description-md5: b750b0280408e85a2232c9f629868acf
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>