deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Breaks: gnome-shell (<< 3.36.0-2)
Depends: gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.73.1), gnome-shell (= 43.9-0+deb12u2),
gnome-shell-common (= 43.9-0+deb12u2)
Description: |-
tool to enable / disable GNOME Shell extensions
This package contains a tool which users who use Shell extensions can use to
toggle them on and off, and access their preferences.
Homepage: https://wiki.gnome.org/Projects/GnomeShell
Installed-Size: '59'
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Package: gnome-shell-extension-prefs
Priority: optional
Provides: gnome-extensions-app
Recommends: chrome-gnome-shell
Replaces: gnome-shell (<< 3.36.0-2)
Section: gnome
Source: gnome-shell
Version: 43.9-0+deb12u2
srcpkg_name: gnome-shell
srcpkg_version: 43.9-0+deb12u2