[Pkg-openmpi-maintainers] Bug#589043: No ompi-server with openmpi-bin=1.4.1-3

[Manuel Prinz]

Package: openmpi-bin
Version: 1.4.1-3
Severity: normal

Am Mittwoch, den 07.07.2010, 10:43 +0800 schrieb Changsheng Jiang:
> I have installled openmpi-bin=1.4.1-3 in Debian/sid, why there are no
> ompi-server, which, mentioned in MPI_Publish_name man pages, does
> exist in gentoo system.

Thanks for your report! I filed a bug for this issue and will look into
it.

Best regards,
Manuel