Hi list,<br><br>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.<br><br clear="all">                                                      Changsheng Jiang<br>