The text ccf2ff183274, as Debian 3.1 (Sarge) shipped it.
Meaning of MPI s defined constants
MPI_REAL8(3) on Linux now
