carta

MPI_Finalize(3) on Linux

The text 129571342a00, as Debian 8 (Jessie) shipped it.

Terminates MPI execution environment

MPI_Finalize(3) on Linux now