../ mpi-default-bin_1.0.2ubuntu1_amd64.deb 29-May-2018 14:08 3252 mpi-default-bin_1.0.2ubuntu1_i386.deb 29-May-2018 14:12 3252 mpi-default-dev_1.0.2ubuntu1_amd64.deb 29-May-2018 14:07 3822 mpi-default-dev_1.0.2ubuntu1_i386.deb 29-May-2018 14:09 3824