gnome-shell-extension-prefs 45~rc-0ubuntu1 (armhf binary) in ubuntu mantic

 This package contains a tool which users who use Shell extensions can use to
 toggle them on and off, and access their preferences.

Details

Package version:
45~rc-0ubuntu1
Source:
gnome-shell 45~rc-0ubuntu1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional