../ libopenmpi-dev_2.0.2-2kui1_sw_64.deb 20-Jul-2017 16:09 979K libopenmpi2_2.0.2-2kui1_sw_64.deb 20-Jul-2017 16:09 2M openmpi-bin_2.0.2-2kui1_sw_64.deb 20-Jul-2017 16:09 181K openmpi-common_2.0.2-2kui1_all.deb 20-Jul-2017 16:09 146K openmpi-doc_2.0.2-2kui1_all.deb 20-Jul-2017 16:09 684K