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

[Torsten Werner]

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.

Cheers,
Torsten