Source: gnome-shell-extension-mediaplayer Version: 0~git201600509-2 Severity: serious User: pkg-gnome-maintain...@lists.alioth.debian.org Usertags: gnome-shell-3-22
Hi, your package gnome-shell-extension-mediaplayer declares a strictly versioned dependency on gnome-shell. We've uploaded gnome-shell 3.21.92 to unstable, which makes gnome-shell-extension-mediaplayer uninstallable. In the past, it was necessary to explicitly declare supported gnome-shell versions in metadata.json. This was lifted in gnome-shell 3.21.92 [1]. "Nowadays, the user interface has mostly stabilized with most changes happening under the hood. As a result, extensions written for previous versions of GNOME Shell are very much expected to keep working on updates, if it wasn't for the version check that requires a version bump in the extension metadata. There has been a setting to disable that check for a while, but it's existence isn't widely known (hence the common perception that "everything breaks on updates"). While there is still some risk that an out-of-date extension can be enabled without error, but fails spectacularly later (where we cannot catch the exception), it is reasonably small by now when compared to the ~95% of extensions that can be "unbroken", so swap the default value to disable version checks by default." As a result, you could drop the gnome-shell << XXX version limitation altogether. The Debian release cycle is pretty long though, so we don't know yet if the gnome-shell version in Buster will actually be compatible with your extension today. We will release Stretch with GNOME Shell 3.22, so my recommendation would be to use gnome-shell (<< 3.23) as upper limt. Modifications for metadata.json are no longer required. Regards, Michael [1] https://git.gnome.org/browse/gnome-shell/commit/?id=5e0e3e
