gnome-shell-extension-manager 0.4.2-1 (armhf binary) in ubuntu mantic

 The GNOME shell extension manager is a tool for helping you manage your
 installed GNOME shell extensions.

Details

Package version:
0.4.2-1
Source:
gnome-shell-extension-manager 0.4.2-1 source package in Ubuntu
Status:
Published
Component:
universe
Priority:
Optional