Index of /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
openmpi_4.0.3-0ubuntu1.debian.tar.xz               15-Apr-2020 13:18               63360
openmpi_4.0.3-0ubuntu1.dsc                         15-Apr-2020 13:18                2734
openmpi_4.0.3.orig.tar.xz                          15-Apr-2020 13:18             6591016