Index of /pub/mpi/patch/1.2.3

	Name	Last modified	Size	Description
	Parent Directory		-
	6589	2002-02-13 14:30	320
	6612	2002-03-07 12:49	255
	files	2002-03-07 12:49	57
	patch.all	2002-03-07 12:49	594