../ mpi-default-bin_1.10_amd64.deb 05-Feb-2018 20:28 3108 mpi-default-bin_1.10_i386.deb 05-Feb-2018 20:31 3108 mpi-default-bin_1.13_amd64.deb 13-May-2018 19:14 2968 mpi-default-bin_1.13_i386.deb 13-May-2018 19:15 2968 mpi-default-dev_1.10_amd64.deb 05-Feb-2018 20:28 3888 mpi-default-dev_1.10_i386.deb 05-Feb-2018 20:31 3888 mpi-default-dev_1.13_amd64.deb 13-May-2018 19:14 3748 mpi-default-dev_1.13_i386.deb 13-May-2018 19:15 3748