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

../
mpi-default-bin_1.13_arm64.deb                     13-May-2018 19:14                2968
mpi-default-bin_1.14_arm64.deb                     04-Aug-2021 23:19                2896
mpi-default-dev_1.13_arm64.deb                     13-May-2018 19:14                3748
mpi-default-dev_1.14_arm64.deb                     04-Aug-2021 23:19                3698