Bug#888560: mpfi dependencies inconsistency

[Vincent Lefevre]

Package: src:mpfi
Version: 1.5.3+ds-1
Severity: serious
Justification: Policy 7.2

The current libmpfi-dev version is 1.5.3+ds-1+b1, which has:

Depends: libmpfi0 (= 1.5.3+ds-1+b1), libmpfi-dev-common (= 1.5.3+ds-1), libmpfr-dev, libgmp-dev

but libmpfi-dev-common 1.5.3+ds-1 has:

Recommends: libmpfi-dev (= 1.5.3+ds-1)

This is inconsistent.

-- System Information:
Debian Release: buster/sid
  APT prefers unstable-debug
  APT policy: (500, 'unstable-debug'), (500, 'stable-updates'), (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 4.14.0-3-amd64 (SMP w/8 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=POSIX (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

libmpfi-dev-common depends on no packages.

Versions of packages libmpfi-dev-common recommends:
ii  libmpfi-dev  1.5.3+ds-1

libmpfi-dev-common suggests no packages.

-- no debconf information