Bug#873526: mate-system-tools: mate-system-tools is gone, apt should indicate gnome-system-tools replaces it

[Fabian Rodriguez]

Package: mate-menus
Version: 1.18.0-2
Severity: important
File: mate-system-tools

Dear Maintainer,

In new Debian MATE installs an important GUI tool is missing to manage groups and users.

In Jessie this used to be provided by mate-users-admin, part of mate-system-tools.

In Stretch (and Buster) this has been replace by gnome-system-tools but apt does not indicate this change. Another similar change affecting gnome-media-gstreamer shows the behavior I' d like to suggest for situations when mate-system-tools installation is requested:

$ sudo apt install mate-media-gstreamer
Reading package lists... Done
Building dependency tree       
Reading state information... Done
Package mate-media-gstreamer is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
However the following packages replace it:
  mate-media-common mate-media

E: Package 'mate-media-gstreamer' has no installation candidate

Perhaps the above could be done for mate-system-tools.

Thank you.

-- System Information:
Debian Release: buster/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 4.11.0-1-amd64 (SMP w/1 CPU core)
Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8), LANGUAGE=en_CA:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages mate-menus depends on:
ii  python            2.7.13-2
ii  python-mate-menu  1.18.0-2

mate-menus recommends no packages.

mate-menus suggests no packages.

-- no debconf information