[ aria ]

Paquet virtuel : gnome-extensions-app

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

Paquets fournissant gnome-extensions-app

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