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

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

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 Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 0.6.3-2+b1 178,5 ko960,0 ko [liste des fichiers]
arm64 0.6.3-2+b1 169,9 ko976,0 ko [liste des fichiers]
armhf 0.6.3-2+b1 163,5 ko911,0 ko [liste des fichiers]
i386 0.6.3-2+b1 185,6 ko983,0 ko [liste des fichiers]
ppc64el 0.6.3-2+b1 182,6 ko1 040,0 ko [liste des fichiers]
riscv64 0.6.3-2+b1 174,4 ko912,0 ko [liste des fichiers]
s390x 0.6.3-2+b1 175,2 ko976,0 ko [liste des fichiers]