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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
