Index of /20.04/full/mirror/archive.ubuntu.com/ubuntu/pool/universe/m/mpi-defaults/

../
mpi-default-bin_1.13_amd64.deb                     13-May-2018 19:14                2968
mpi-default-dev_1.13_amd64.deb                     13-May-2018 19:14                3748