/usr/bin/mpiexec.openmpi
/usr/bin/mpirun.openmpi
/usr/bin/ompi-clean
/usr/bin/ompi_info
/usr/bin/ompi-iof
/usr/bin/ompi-probe
/usr/bin/ompi-profiler
/usr/bin/ompi-ps
/usr/bin/ompi-server
/usr/bin/ompi-top
/usr/bin/orte-bootproxy
/usr/bin/orte-clean
/usr/bin/orted
/usr/bin/orte-iof
/usr/bin/orte-ps
/usr/bin/orterun
/usr/bin/orte-top
You may install this package on Debian with
apt-get
install openmpi-bin