» Ubuntu » Paquets » bionic (18.04LTS) » Source » misc » gnome-shell-extension-mediaplayer
bionic  ]

Paquet source : gnome-shell-extension-mediaplayer (3.5-3) [universe]

Liens pour gnome-shell-extension-mediaplayer

Ressources Ubuntu :

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Simon McVittie

It should generally not be necessary for users to contact the original maintainer.

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
  • adep: debhelper (>= 10)
    helper programs for debian/rules
  • adep: gettext
    GNU Internationalization utilities
  • adep: intltool
    Utility scripts for internationalizing XML
  • adep: libglib2.0-dev
    Development files for the GLib library
  • adep: meson (>= 0.40.0)
    high-productivity build system
  • adep: pkg-config
    manage compile and link flags for libraries

Download gnome-shell-extension-mediaplayer

FichierTaille (en ko)Somme MD5
gnome-shell-extension-mediaplayer_3.5-3.dsc 2,1 ko 299344196c12356b765d43f951ca24ce
gnome-shell-extension-mediaplayer_3.5.orig.tar.gz 239,1 ko 85c22214890d2c5d90097dea30907fc2
gnome-shell-extension-mediaplayer_3.5-3.debian.tar.xz 13,4 ko a17eccb3e9065d13108ac9ef9d057b80
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/debian/gnome-shell-extension-mediaplayer.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/debian/gnome-shell-extension-mediaplayer