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

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