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

• libopenmpi-dev_5.0.10-1_amd64.deb
• libopenmpi40_5.0.10-1_amd64.deb
• openmpi-bin_5.0.10-1_amd64.deb
• openmpi-common_5.0.10-1_all.deb
• openmpi-doc_5.0.10-1_all.deb