Your message dated Wed, 31 Aug 2022 22:14:54 -0400
with message-id
<cad+gyvykodtf8y1zgxwfx1hzyg1z+qx5jfyxgseiododpcq...@mail.gmail.com>
and subject line Re: RM: anjuta -- RoM; unmaintained IDE, use gnome-builder
instead
has caused the Debian Bug report #1018276,
regarding gnome-shell-extension-shortcuts: needs update for GNOME Shell 43
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1018276: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1018276
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gnome-shell-extension-shortcuts
Version: 1.3.2-1
Severity: important
Tags: bookworm sid
User: [email protected]
Usertags: gnome-shell-43
Forwarded:
https://gitlab.com/paddatrapper/shortcuts-gnome-extension/-/commit/287d8c9ebb5cfc0bc8ee1e7c3a5860a0858590b0
This extension's apt/dpkg dependencies say it is compatible with all
versions of GNOME Shell, but its metadata disagrees and does not list
GNOME Shell 43 as a compatible version. From the upstream git repo, it
looks like it only needs a metadata update and not any more substantial
code changes.
GNOME Shell 43 is available in experimental (as a beta version) and is
expected to be uploaded to unstable soon (transition:
https://bugs.debian.org/1018118).
I'd recommend adding dependencies on
gnome-shell (>= x), gnome-shell (<< y~)
for suitable values of x and y, so that it can only be co-installed with
versions of GNOME Shell for which compatibility has been checked.
For version 1.3.2-1 the appropriate dependency seems to be
gnome-shell (>= 3.22), gnome-shell (<< 43~)
but obviously this will change when compatibility with version 43
is added.
smcv
--- End Message ---
--- Begin Message ---
Never mind. gtkpod isn't really removable right now. And it doesn't
seem practical to strip anjuta's app out and leave only the library.
I have a patch to switch the build to webkitgtk 4.1 which was my
immediate concern.
Thank you,
Jeremy Bicha
--- End Message ---
