carta

MPI_Initialized.openmpi(3) on Linux

The text 347508e1b227, as Debian 8 (Jessie) shipped it.

Indicates whether MPI_Init has been called.

MPI_Initialized.openmpi(3) on Linux now