carta

MPI_File_set_size(3) on Linux

The text e85f95539229, as Debian 13 (Trixie), Debian 11 (Bullseye) shipped it.

Sets the file size

MPI_File_set_size(3) on Linux now