DOKK / manpages

Man pages matching name mpi_fetch_and_op in section 3:

MPI_Fetch_and_op.3.en debian 10 / mpich-doc
MPI_Fetch_and_op.3.en debian 12 / mpich-doc