../ mpi-default-bin_1.13_amd64.deb 07-May-2018 08:09 4672 mpi-default-bin_1.13_arm64.deb 07-May-2018 08:09 4672 mpi-default-dev_1.13_amd64.deb 07-May-2018 08:09 5476 mpi-default-dev_1.13_arm64.deb 07-May-2018 08:09 5476 mpi-defaults_1.13.dsc 07-May-2018 08:02 2676 mpi-defaults_1.13.tar.xz 07-May-2018 08:02 5316