Index of /mirror/archive.debian.org/debian/pool/main/m/mpi-defaults

	Name	Last modified	Size	Description
	Parent Directory		-
	mpi-defaults_1.8.tar.xz	2016-12-26 10:32	4.5K
	mpi-defaults_1.8.dsc	2016-12-26 10:32	2.6K
	mpi-default-dev_1.8_amd64.deb	2016-12-26 10:32	4.7K
	mpi-default-bin_1.8_amd64.deb	2016-12-26 10:32	4.0K