Package Details

Information about "gnome-shell-extension-prefs"

label

Name

gnome-shell-extension-prefs

description

Description

tool to enable / disable GNOME Shell extensions

update

Version

47.2-2

category

Section

gnome

home

Homepage

https://wiki.gnome.org/Projects/GnomeShell

person

Maintainer

Debian GNOME Maintainers <[email protected]>

link

Depends

gir1.2-adw-1, gir1.2-gtk-4.0, gjs (>= 1.73.1), gnome-shell (= 47.2-2), gnome-shell-common (>= 47~)

thumb_up

Recommends

gnome-browser-connector

lightbulb

Suggests

None

block

Conflicts

None

swap_horiz

Replaces

None

check_box

Provides

gnome-extensions-app

description

Filename

pool/main/g/gnome-shell/gnome-shell-extension-prefs_47.2-2_amd64.deb

Depends Recommends Suggests Conflicts Replaces Provides
Depends
gir1.2-adw-1
gir1.2-gtk-4.0
gjs
gnome-shell
gnome-shell-common