Index of /ubuntu-ports/pool/universe/m/mpi-defaults/

../
mpi-default-bin_1.14_arm64.deb                     05-Aug-2021 07:19    2896
mpi-default-dev_1.14_arm64.deb                     05-Aug-2021 07:19    3698