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