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

Paquet : gnome-shell-extension-manager (0.5.1-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 147,0 ko766,0 ko [liste des fichiers]
arm64 139,4 ko766,0 ko [liste des fichiers]
armel 133,9 ko729,0 ko [liste des fichiers]
armhf 132,1 ko669,0 ko [liste des fichiers]
i386 153,1 ko789,0 ko [liste des fichiers]
mips64el 137,1 ko854,0 ko [liste des fichiers]
ppc64el 151,7 ko894,0 ko [liste des fichiers]
s390x 142,6 ko782,0 ko [liste des fichiers]