Bug#790509: libmpfi-dev: transitional package uninstallable

[Vincent Lefevre]

On 2015-06-30 01:31:38 +0200, Jerome BENOIT wrote:
> On 30/06/15 00:38, Andreas Beckmann wrote:
> > PS: Is it really necessary to switch from an unversioned -dev package
> > to a versioned one?
> 
> For consistency ?

I'm not sure, but this will have the drawback that packages which
depend or build-depend on the -dev package will have to be updated
if its name changes (due to a backward incompatible change in the
libmpfi ABI).

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)