Bug#790509: libmpfi-dev: transitional package uninstallable

[Andreas Beckmann]

Package: libmpfi-dev
Version: 1.5.1+ds-1
Severity: grave
Tags: sid
Justification: renders package unusable
User: debian-qa at lists.debian.org
Usertags: piuparts

Hi,

during a test with piuparts I noticed your package is no longer
installable in sid:

  The following packages have unmet dependencies:
  libmpfi-dev : Depends: libmpfi0-dev (>= 1.5.1+ds-1) but it is not going to be installed

This is caused by the Conflicts in libmpfi0-dev:

Package: libmpfi0-dev
Source: mpfi
Version: 1.5.1+ds-1
Replaces: libmpfi-dev (<= 1.5.1-3)
Provides: libmpfi-dev
Depends: libmpfi0 (= 1.5.1+ds-1), libmpfi0-dev-common (= 1.5.1+ds-1), libmpfr-dev, libgmp-dev
Conflicts: libmpfi-dev
Breaks: libmpfi-dev (<= 1.5.1-3)


The transitional package being uninstallable will prevent migration
to testing. Please don't drop the transitional package (because
upgrades won't automatically switch from a real package to a
virtual one) but drop the Conflicts for now.
For stretch+1 you can drop the transitional package and switch to
unversioned Breaks+Replaces (or Conflicts+Replaces) to ensure the
old transitional one gets removed upon upgrades.


Cheers,

Andreas

PS: Is it really necessary to switch from an unversioned -dev package
to a versioned one?