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

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