Publishing details

• Published on 2025-10-30

Changelog

gnome-shell-extension-mediaplayer (4.0-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Thu, 30 Oct 2025 19:16:26 +0800

Builds

• amd64

Built packages

• gnome-shell-extension-mediaplayer GNOME Shell extension to control media players

Package files

• gnome-shell-extension-mediaplayer_4.0-ok1.debian.tar.xz (9.6 KiB)
• gnome-shell-extension-mediaplayer_4.0-ok1.dsc (2.1 KiB)
• gnome-shell-extension-mediaplayer_4.0-ok1_all.deb (45.2 KiB)
• gnome-shell-extension-mediaplayer_4.0.orig.tar.gz (241.5 KiB)