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

Paquet : gnome-shell-extension-manager (0.6.3-2)

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 177,8 ko959,0 ko [liste des fichiers]
arm64 169,6 ko975,0 ko [liste des fichiers]
armhf 163,3 ko910,0 ko [liste des fichiers]
i386 185,3 ko982,0 ko [liste des fichiers]
ppc64el 182,1 ko1 039,0 ko [liste des fichiers]
riscv64 174,4 ko911,0 ko [liste des fichiers]
s390x 174,2 ko975,0 ko [liste des fichiers]