gnome-shell-extension-prefs 42.2-0ubuntu0.2 (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.2-0ubuntu0.2
Source:
gnome-shell 42.2-0ubuntu0.2 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional