gnome-shell-extension-prefs 42.1-0ubuntu1 (amd64 binary) in ubuntu kinetic

 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:
42.1-0ubuntu1
Source:
gnome-shell 42.1-0ubuntu1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional