Index of /archive.ubuntu.com/ubuntu/pool/universe/o/openmpi/

../
libopenmpi-dev_4.0.3-0ubuntu1_amd64.deb            15-Apr-2020 14:09              798308
libopenmpi3_4.0.3-0ubuntu1_amd64.deb               15-Apr-2020 14:09             1978448
openmpi-bin_4.0.3-0ubuntu1_amd64.deb               15-Apr-2020 14:09               67384
openmpi-common_4.0.3-0ubuntu1_all.deb              15-Apr-2020 14:09              150596
openmpi-doc_4.0.3-0ubuntu1_all.deb                 15-Apr-2020 14:09              677740