all options
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Source Package: gnome-shell-extension-mediaplayer (4.0-1)

Links for gnome-shell-extension-mediaplayer

Debian Resources:


External Resources:

The following binary packages are built from this source package:
GNOME Shell extension to control media players

Other Packages Related to gnome-shell-extension-mediaplayer

  • build-depends
  • build-depends-indep

Download gnome-shell-extension-mediaplayer

FileSize (in kB)MD5 checksum
gnome-shell-extension-mediaplayer_4.0-1.dsc 2.2 kB f4843b29c79bdeb278ce42fc2fb3ce09
gnome-shell-extension-mediaplayer_4.0.orig.tar.gz 241.5 kB 383de8ea94775f7e8a4054561d38b5a4
gnome-shell-extension-mediaplayer_4.0-1.debian.tar.xz 10.9 kB 04e083b2a8442af4b2fa109967fed8cb
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)