Index of /pool/universe/o/openmpi/

../
libopenmpi-dev_4.1.2-2ubuntu1_amd64.deb            04-Mar-2022 14:44              867174
libopenmpi3_4.1.2-2ubuntu1_amd64.deb               04-Mar-2022 14:44             2593592
openmpi-bin_4.1.2-2ubuntu1_amd64.deb               04-Mar-2022 14:44              115648
openmpi-common_4.1.2-2ubuntu1_all.deb              04-Mar-2022 14:44              162160
openmpi-doc_4.1.2-2ubuntu1_all.deb                 04-Mar-2022 14:44             1071572