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

Paquet : gnome-shell-extension-manager (0.6.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 171,2 ko903,0 ko [liste des fichiers]
arm64 162,4 ko931,0 ko [liste des fichiers]
armhf 156,1 ko798,0 ko [liste des fichiers]
i386 178,3 ko930,0 ko [liste des fichiers]
mips64el 166,9 ko955,0 ko [liste des fichiers]
ppc64el 176,0 ko995,0 ko [liste des fichiers]
riscv64 167,4 ko851,0 ko [liste des fichiers]
s390x 167,5 ko915,0 ko [liste des fichiers]