all options
bookworm  ] [  sid  ]
[ Source: gnome-shell-extension-manager  ]

Пакунок: gnome-shell-extension-manager (0.5.1-5)

Links for gnome-shell-extension-manager

Screenshot

Debian Resources:

Download Source Package gnome-shell-extension-manager:

Maintainers:

External Resources:

Similar packages:

Utility for managing GNOME Shell Extensions

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

Tags: Interface Toolkit: GTK

Інші пакунки пов'язані з gnome-shell-extension-manager

  • depends
  • recommends
  • suggests
  • enhances

Завантажити gnome-shell-extension-manager

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
riscv64 143.0 kB715.0 kB [список файлів]