Directory listing for /archive.ubuntu.com/ubuntu/pool/universe/o/openmpi/

• libopenmpi-dev_4.1.6-7ubuntu2_amd64.deb
• libopenmpi3t64_4.1.6-7ubuntu2_amd64.deb
• openmpi-bin_4.1.6-7ubuntu2_amd64.deb
• openmpi-common_4.1.6-7ubuntu2_all.deb
• openmpi-doc_4.1.6-7ubuntu2_all.deb