Index of /debian-ports/pool-alpha/main/m/mpi-defaults/

../
mpi-default-bin_1.18_alpha.deb                                                                                           19-Jan-2025 00:03    2576
mpi-default-dev_1.18_alpha.deb                                                                                           19-Jan-2025 00:03    3372
mpi-defaults_1.18_alpha.buildinfo                                                                                        19-Jan-2025 00:03    9029