Index of /ubuntu/pool/universe/m/mpi-defaults/
../
mpi-default-bin_1.10_amd64.deb 05-Feb-2018 20:28 3108
mpi-default-bin_1.13_amd64.deb 13-May-2018 19:14 2968
mpi-default-bin_1.4_amd64.deb 29-Feb-2016 18:53 3370
mpi-default-dev_1.10_amd64.deb 05-Feb-2018 20:28 3888
mpi-default-dev_1.13_amd64.deb 13-May-2018 19:14 3748
mpi-default-dev_1.4_amd64.deb 29-Feb-2016 18:53 4154
mpi-defaults_1.10.dsc 05-Feb-2018 17:08 2680
mpi-defaults_1.10.tar.xz 05-Feb-2018 17:08 4864
mpi-defaults_1.13.dsc 04-May-2018 20:58 2676
mpi-defaults_1.13.tar.xz 04-May-2018 20:58 5316
mpi-defaults_1.4.dsc 29-Feb-2016 18:53 2569
mpi-defaults_1.4.tar.xz 29-Feb-2016 18:53 4544