Index of /pureos/pool/main/m/mpi-defaults/

../
mpi-default-bin_1.13_amd64.deb                     07-May-2018 08:09    4672
mpi-default-bin_1.13_arm64.deb                     07-May-2018 08:09    4672
mpi-default-dev_1.13_amd64.deb                     07-May-2018 08:09    5476
mpi-default-dev_1.13_arm64.deb                     07-May-2018 08:09    5476
mpi-defaults_1.13.dsc                              07-May-2018 08:02    2676
mpi-defaults_1.13.tar.xz                           07-May-2018 08:02    5316