MPI_File_get_type_extent.openmpi(3) on Linux

The text a8345b078b60, as Debian 9 (Stretch) shipped it.

Returns the extent of the data type in a file.

MPI_File_get_type_extent.openmpi(3) on Linux now