../ libopenmpi-dev_4.1.2-2ubuntu1_amd64.deb 04-Mar-2022 14:44 847K libopenmpi3_4.1.2-2ubuntu1_amd64.deb 04-Mar-2022 14:44 2M openmpi-bin_4.1.2-2ubuntu1_amd64.deb 04-Mar-2022 14:44 113K openmpi-common_4.1.2-2ubuntu1_all.deb 04-Mar-2022 14:44 158K openmpi-doc_4.1.2-2ubuntu1_all.deb 04-Mar-2022 14:44 1M