Index of /ubuntu/pool/universe/m/mpi-defaults

	Name	Last modified	Size	Description
	Parent Directory		-
	mpi-default-bin_1.14..>	2021-08-04 19:19	2.8K
	mpi-default-bin_1.15..>	2024-04-22 07:48	2.3K
	mpi-default-dev_1.14..>	2021-08-04 19:19	3.6K
	mpi-default-dev_1.15..>	2024-04-22 07:48	3.1K