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