Publishing details

• Published on 2025-12-02

Changelog

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

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Tue, 02 Dec 2025 16:59:36 +0800

Builds

• amd64

Built packages

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

Package files

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