DOKK / manpages

Man pages matching name mpi_t_event_get_num in section 3:

MPI_T_event_get_num.3.en debian 12 / mpich-doc