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