[ aria ]

仮想パッケージ: gnome-extensions-app

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

gnome-extensions-app を提供するパッケージ

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