MPI_Free_mem.openmpi(3) on Linux

The text 2997ef2789db, as Debian 10 (Buster) shipped it.

Frees memory that has been allocated using MPI_Alloc_mem.

MPI_Free_mem.openmpi(3) on Linux now