gnome-shell-extension-prefs 42.1-0ubuntu0.1 (riscv64 binary) in ubuntu jammy

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