Ubuntu

gnome-shell-extension-manager 0.3.0-0ubuntu1 (armhf binary) in ubuntu jammy

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

Details

Package version:: 0.3.0-0ubuntu1

Source:: gnome-shell-extension-manager 0.3.0-0ubuntu1 source package in Ubuntu

Status:: Published

Component:: universe

Priority:: Optional

Downloadable files

armhf build of gnome-shell-extension-manager 0.3.0-0ubuntu1 in ubuntu jammy PROPOSED produced these files:

gnome-shell-extension-manager_0.3.0-0ubuntu1_armhf.deb (60.6 KiB)

Package relationships

Depends on: