[ aria ]

Virtuelles Paket: gnome-extensions-app

This is a virtual package. See the Debian policy for a definition of virtual packages.

Pakete, die gnome-extensions-app bereitstellen

gnome-shell-extension-prefs: tool to enable / disable GNOME Shell extensions