../ mpi-default-bin_1.0.2ubuntu1_amd64.deb 13-Aug-2018 13:19 3252 mpi-default-bin_1.0.2ubuntu1_i386.deb 13-Aug-2018 13:12 3252 mpi-default-dev_1.0.2ubuntu1_amd64.deb 13-Aug-2018 13:11 3822 mpi-default-dev_1.0.2ubuntu1_i386.deb 13-Aug-2018 13:17 3824