toutes les options
bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : gnome-shell-extension-manager  ]

Paquet : gnome-shell-extension-manager (0.4.0-1)

Liens pour gnome-shell-extension-manager

Screenshot

Ressources Debian :

Télécharger le paquet source gnome-shell-extension-manager :

Responsables :

Ressources externes :

Paquets similaires :

utilitaire de gestion d’extensions de GNOME Shell

Le gestionnaire d’extensions de GNOME Shell est un outil d’assistance pour la gestion des extensions installées de GNOME Shell.

Étiquettes: Boîte à outils d'interface utilisateur: GTK

Autres paquets associés à gnome-shell-extension-manager

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger gnome-shell-extension-manager

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 107,3 ko613,0 ko [liste des fichiers]
arm64 103,6 ko653,0 ko [liste des fichiers]
armel 101,4 ko580,0 ko [liste des fichiers]
armhf 98,7 ko540,0 ko [liste des fichiers]
i386 111,8 ko624,0 ko [liste des fichiers]
mips64el 97,4 ko672,0 ko [liste des fichiers]
mipsel 98,5 ko669,0 ko [liste des fichiers]
ppc64el 110,0 ko717,0 ko [liste des fichiers]