DOKK / manpages

Man pages matching name mpi_imrecv_c in section 3:

MPI_Imrecv_c.3.en debian 12 / mpich-doc