Bug#853029: mpi-default-dev: update mpi defaults for m68k and sh4 to openmpi?
Drew Parsons
dparsons at debian.org
Mon Jan 30 10:49:23 UTC 2017
On Mon, 2017-01-30 at 10:20 +0100, Mattia Rizzolo wrote:
>
> Such change really needs to be ACK by a porter, therefore I'm CCing
> the
> 68k and sh lists.
>
Thanks Mattia. J.P. Adrian Glaubitz also replied via the port lists,
and said he'll check to confirm the change won't break anything.
Drew
More information about the debian-science-maintainers
mailing list