Versions Packages Information History Related Badges Report

Information for gnome-shell-extension-mediaplayer

Versions

  • 4.0
  • 4.0
  • 3.5
  • 0.0.0.20180316
  • 0git20161209

Package names

  • deskutils/gnome-shell-extension-mediaplayer
  • gnome-shell-extension-mediaplayer
  • gnome-shell-extension-mediaplayer-git

Repositories

Categories

  • deskutils
  • misc
  • universe/misc

Licenses

  • GPL2