toutes les options
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Paquet source : gnome-shell-extension-mediaplayer (4.0-1)

Liens pour gnome-shell-extension-mediaplayer

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
gnome-shell-extension-mediaplayer
GNOME Shell extension to control media players

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

  • build-depends
  • build-depends-indep

Download gnome-shell-extension-mediaplayer

FichierTaille (en ko)Somme MD5
gnome-shell-extension-mediaplayer_4.0-1.dsc 2,2 ko f4843b29c79bdeb278ce42fc2fb3ce09
gnome-shell-extension-mediaplayer_4.0.orig.tar.gz 241,5 ko 383de8ea94775f7e8a4054561d38b5a4
gnome-shell-extension-mediaplayer_4.0-1.debian.tar.xz 10,9 ko 04e083b2a8442af4b2fa109967fed8cb
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-mediaplayer.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/gnome-team/shell-extensions/gnome-shell-extension-mediaplayer