[ aria ]

Virtual Package: gnome-extensions-app

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

Packages providing gnome-extensions-app

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