../ libopenmpi-dev_2.0.2-2_amd64.deb 30-Dec-2022 21:41 990K libopenmpi2_2.0.2-2_amd64.deb 30-Dec-2022 21:41 2M openmpi-bin_2.0.2-2_amd64.deb 30-Dec-2022 21:41 182K openmpi-common_2.0.2-2_all.deb 30-Dec-2022 21:41 146K openmpi-doc_2.0.2-2_all.deb 30-Dec-2022 21:41 684K