Bug#759199: mencoder: depends on libdvdnavmini.so.4 which is not found

[Stuart Prescott]

Hi Reinhard,

> > (libdvdnav4 maintainers: should this have been a soname change? or some
> > other conflict to force users of libdvdnavmini to be removed?)
> 
> I don't think that a version bump would have fixed that. 

a sover bump or soname change accompanied by our normal package name change 
would have left the mencoder and mplayer dependencies either (a) unsatisfied so 
that apt removes them or (b) satisfied by obsolete packages that are still on 
the system so mencoder/mplayer would still work.

> AFAIUI,
> mplayer/mencoder is also the only application that used libdvdnavmini

Indeed, codesearch.d.n seems to indicate that mencoder and mplayer are the 
only places were this library was actually used. xbmc comes up too but only 
for its embedded copy of the library (yay) and and mplayer2 talks about why it 
does not use this library.

It was possibly not worth a transition to begin with and definitely not worth 
one now.

> If libdvdnavmini was used by lots of packages in Debian, we might
> argue that we should have renamed the package to make this an explicit
> transition. However, mplayer was the only affected package, so I'm not
> sure what's left to do here.

How about adding to libdvdnav4:

	Breaks: mplayer (<< 2:1.0), mencoder (<< 2:1.0)

it tells apt that the packages are broken by the new libdvdnav4 package and 
apt will act accordingly. The version restriction is there on the probably 
mistaken belief that there's no point in forcing these packages off the system 
if they come from a source other than Debian such as one that is well known to 
use epochs to ensure that its packages sort higher.

cheers
Stuart



-- 
Stuart Prescott    http://www.nanonanonano.net/   stuart at nanonanonano.net
Debian Developer   http://www.debian.org/         stuart at debian.org
GPG fingerprint    90E2 D2C1 AD14 6A1B 7EBB 891D BBC1 7EBB 1396 F2F7