Adding a Replaces is not the proper solution here. Since both packages stem from the best source it would be better to install the offending file only by one of the packages.
-Ralf. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
