DOKK / manpages / debian 10 / openmpi-doc / MPI_Status_set_elements_x.openmpi.3.en
() ()

See the file buster/mpich-doc/MPI_Status_set_elements.3.en.gz.