Man pages matching name mpi_finalized in section 3:
| MPI_Finalized.3.en | debian 10 / lam-mpidoc |
| MPI_Finalized.3.en | debian 10 / mpich-doc |
| MPI_Finalized.3.en | debian 11 / lam-mpidoc |
| MPI_Finalized.3.en | debian 12 / lam-mpidoc |
| MPI_Finalized.3.en | debian 12 / mpich-doc |