Index of /debian-ports/pool-hurd-amd64/main/m/mpi-defaults/


../
mpi-default-bin_1.17_hurd-amd64.deb                                                                                      15-Jul-2024 12:03    2376
mpi-default-dev_1.17_hurd-amd64.deb                                                                                      15-Jul-2024 12:03    3152
mpi-defaults_1.17_hurd-amd64.buildinfo                                                                                   15-Jul-2024 12:03    7275