Index of /trusty/pool/universe/o/openmpi

	Name	Last modified	Size	Description
	Parent Directory		-
	libopenmpi-dev_1.6.5-8_amd64.deb	2013-12-29 00:58	371K
	libopenmpi1.6-dbg_1.6.5-8_amd64.deb	2013-12-29 00:58	5.2M
	libopenmpi1.6_1.6.5-8_amd64.deb	2013-12-29 00:58	1.3M
	openmpi-bin_1.6.5-8_amd64.deb	2013-12-29 00:58	83K
	openmpi-checkpoint_1.6.5-8_amd64.deb	2013-12-29 00:58	27K
	openmpi-common_1.6.5-8_all.deb	2013-12-29 00:58	99K
	openmpi-doc_1.6.5-8_all.deb	2013-12-29 00:58	472K
	openmpi_1.6.5-8.debian.tar.gz	2013-12-29 00:38	32K
	openmpi_1.6.5-8.dsc	2013-12-29 00:38	2.7K
	openmpi_1.6.5.orig.tar.gz	2013-12-14 06:58	15M