Index of /nightly/debian-10-official-release/pool/main/o/openmpi/

../
libopenmpi-dev_3.1.3-11_amd64.deb                  24-Sep-2019 00:10              974228
libopenmpi3_3.1.3-11_amd64.deb                     24-Sep-2019 00:16             2190688
openmpi-bin_3.1.3-11_amd64.deb                     24-Sep-2019 00:22              200004
openmpi-common_3.1.3-11_all.deb                    24-Sep-2019 00:31              164796
openmpi-doc_3.1.3-11_all.deb                       24-Sep-2019 00:45              761016