Index of /repo/ubuntu18/archive.ubuntu.com/ubuntu/pool/universe/m/mpi-defaults/

../
mpi-default-bin_1.10_amd64.deb                     19-Oct-2021 07:50                3108
mpi-default-dev_1.10_amd64.deb                     19-Oct-2021 07:50                3888