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

../
mpi-default-bin_1.14+b1_riscv64.deb                21-May-2024 08:24                2728
mpi-default-dev_1.14+b1_riscv64.deb                21-May-2024 08:24                3512
mpi-defaults_1.14.dsc                              08-May-2024 15:43                2658
mpi-defaults_1.14.tar.xz                           08-May-2024 15:43                5392