Index of /pool/main/o/openmpi/


../
libopenmpi-dev_3.1.3-11+rpi1_armhf.deb             22-Jul-2020 16:38              963712
libopenmpi3_3.1.3-11+rpi1_armhf.deb                22-Jul-2020 14:39             1812504
openmpi-bin_3.1.3-11+rpi1_armhf.deb                22-Jul-2020 16:16              196620
openmpi-common_3.1.3-11+rpi1_all.deb               22-Jul-2020 14:33              164108
openmpi-doc_3.1.3-11+rpi1_all.deb                  22-Jul-2020 16:29              761168