Bug#546032: libjgrapht0.6-java-doc and libjgrapht-java-doc: error , when trying to install together

[Michael Koch]

On Mon, Sep 14, 2009 at 10:43:57PM +0200, Torsten Werner wrote:
> On Mon, Sep 14, 2009 at 10:25 PM, Michael Koch <konqueror at gmx.de> wrote:
> > And what about people who have the old package already installed?
> > A Replaces helps them and is needed in this case afaik.
> 
> A Replaces won't hurt but I am not sure if it is really needed.

It help apt-get/aptitude to make smarter decisions on dist-upgrades.


Cheers,
Michael