DOKK
/
manpages
Man pages matching name
ompi-server
in section
1
:
ompi-server.1.en
debian 10 / openmpi-bin
ompi-server.1.en
debian 11 / openmpi-bin
ompi-server.1.en
debian 12 / openmpi-bin