DOKK / manpages

Man pages matching name mpi_op_f2c in section 3:

MPI_Op_f2c.3.en debian 10 / lam4-dev
MPI_Op_f2c.3.en debian 11 / lam4-dev
MPI_Op_f2c.3.en debian 12 / lam4-dev