Index of /pub/gwdg/ubuntu/22.04/pool/universe/o/openmpi/

../
libopenmpi-dev_4.1.2-2ubuntu1_amd64.deb            04-Mar-2022 14:44              867174
libopenmpi-dev_4.1.2-2ubuntu1_i386.deb             04-Mar-2022 14:44              814734
libopenmpi3_4.1.2-2ubuntu1_amd64.deb               04-Mar-2022 14:44             2593592
libopenmpi3_4.1.2-2ubuntu1_i386.deb                04-Mar-2022 14:44             2229122
openmpi-bin_4.1.2-2ubuntu1_amd64.deb               04-Mar-2022 14:44              115648
openmpi-bin_4.1.2-2ubuntu1_i386.deb                04-Mar-2022 14:44               86524
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