Index of /debian10/pool/main/o/openmpi/

../
libopenmpi-dev_3.1.3-11_amd64.deb                  30-Apr-2019 22:57              974228
libopenmpi3_3.1.3-11_amd64.deb                     30-Apr-2019 22:57             2190688
openmpi-bin_3.1.3-11_amd64.deb                     30-Apr-2019 22:57              200004
openmpi-common_3.1.3-11_all.deb                    30-Apr-2019 23:07              164796
openmpi-doc_3.1.3-11_all.deb                       30-Apr-2019 23:07              761016