[Pkg-openmpi-maintainers] Bug#444432: Bug#444432: Bug#444432: libopenmpi-dev: duplicate opalcc man page

[Manuel Prinz]

Am Freitag, den 28.09.2007, 09:36 -0500 schrieb Dirk Eddelbuettel:
> So we need Conflicts: and Replaces: for openmpi-bin, and possible also
> Provides: -- as I always forget this part, could someone check and
> then test the upgrade from 1.2.3-4.

I'll have a look at it! (I broke it in the first place.)

Best regards
Manuel