Manpages of openmpi-bin in Debian stretch

• mpiexec(1)
• mpiexec.openmpi(1)
• mpirun(1)
• mpirun.openmpi(1)
• ompi-clean(1)
• ompi-ps(1)
• ompi-server(1)
• ompi-top(1)
• ompi_info(1)
• orte-clean(1)
• orte-dvm(1)
• orte-ps(1)
• orte-server(1)
• orte-top(1)
• orted(1)
• orterun(1)
• oshmem_info(1)
• oshrun(1)