Index of /pub/trisquel-archive/trisquel/pool/main/o/openmpi1.5

	Name	Last modified	Size	Description
	Parent Directory		-
	openmpi1.5_1.5.4-0ubuntu1.debian.tar.gz	2012-03-02 18:33	25K
	openmpi1.5_1.5.4-0ubuntu1.dsc	2012-03-02 18:33	2.7K
	openmpi1.5_1.5.4.orig.tar.gz	2012-03-02 18:33	11M