Index of /debian-php/pool/main/o/openmpi/

../
libopenmpi-dev_3.1.3-11_amd64.deb                  31-Aug-2022 14:39              974228
libopenmpi-dev_4.1.0-10_amd64.deb                  01-Sep-2022 17:32             1192104
libopenmpi3_3.1.3-11_amd64.deb                     31-Aug-2022 14:39             2190688
libopenmpi3_4.1.0-10_amd64.deb                     01-Sep-2022 17:32             2369724
openmpi-bin_3.1.3-11_amd64.deb                     31-Aug-2022 14:39              200004
openmpi-bin_4.1.0-10_amd64.deb                     01-Sep-2022 17:32              237752
openmpi-common_3.1.3-11_all.deb                    31-Aug-2022 14:39              164796
openmpi-common_4.1.0-10_all.deb                    01-Sep-2022 17:32              179112
openmpi-doc_3.1.3-11_all.deb                       31-Aug-2022 14:39              761016
openmpi-doc_4.1.0-10_all.deb                       01-Sep-2022 17:32              777988