Index of /debian/pool/main/o/openmpi

	Name	Last modified	Size	Description
	Parent Directory		-
	libopenmpi-dbg_1.4.2-4jasp1_amd64.deb	24-May-2014 00:23	5.2M
	libopenmpi-dev_1.4.2-4jasp1_amd64.deb	24-May-2014 00:23	2.5M
	libopenmpi-dev_1.4.2-4jasp1_i386.deb	24-May-2014 00:53	2.3M
	libopenmpi-dev_1.4.2-4jasp1_powerpc.deb	25-Jul-2014 21:39	2.5M
	libopenmpi1.3_1.4.2-4jasp1_amd64.deb	24-May-2014 00:23	1.3M
	libopenmpi1.3_1.4.2-4jasp1_i386.deb	24-May-2014 00:53	1.1M
	libopenmpi1.3_1.4.2-4jasp1_powerpc.deb	25-Jul-2014 21:39	1.2M
	openmpi-bin_1.4.2-4jasp1_amd64.deb	24-May-2014 00:22	161K
	openmpi-bin_1.4.2-4jasp1_i386.deb	24-May-2014 00:53	157K
	openmpi-bin_1.4.2-4jasp1_powerpc.deb	25-Jul-2014 21:38	160K
	openmpi-common_1.4.2-4jasp1_all.deb	24-May-2014 00:23	84K
	openmpi-doc_1.4.2-4jasp1_all.deb	24-May-2014 00:23	460K
	openmpi_1.4.2-4jasp1.diff.gz	23-May-2014 23:41	27K
	openmpi_1.4.2-4jasp1.dsc	23-May-2014 23:41	1.4K
	openmpi_1.4.2.orig.tar.gz	16-Jul-2010 10:47	9.6M