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