[Pkg-rust-maintainers] Bug#1054156: librust-env-logger-0.7+default-dev shouldn't provide librust-env-logger+default-dev

[Adrian Bunk]

Package: librust-env-logger-0.7+default-dev
Severity: serious

https://buildd.debian.org/status/fetch.php?pkg=mdevctl&arch=arm64&ver=1.2.0-4%2Bb3&stamp=1697626199&raw=0

...
Merged Build-Depends: ..., librust-env-logger+default-dev,
...
The following NEW packages will be installed:
...
  librust-env-logger-0.7+default-dev librust-env-logger-0.7-dev
...
error: failed to select a version for the requirement `env_logger = "^0.10.0"`
...


This is due to:
  librust-env-logger+default-dev reverse Provides:
  librust-env-logger-0.7+default-dev 0.7.1-4 (= 0.7.1-4)
  librust-env-logger-dev 0.10.0-2 (= 0.10.0-2)


I'll file a separate bug for mdevctl having a too loose build dependency.