Index of /redleafos/dev/redleafos-base/pool/main/o/openmpi/

../
libopenmpi-dev_5.0.7-1_riscv64.deb                 19-Feb-2025 07:55      1M
libopenmpi40_5.0.7-1_riscv64.deb                   19-Feb-2025 07:55      2M
openmpi-bin_5.0.7-1_riscv64.deb                    19-Feb-2025 07:55    188K
openmpi-common_5.0.7-1_all.deb                     17-Feb-2025 15:35     95K
openmpi-doc_5.0.7-1_all.deb                        17-Feb-2025 15:35      8M