Bug#1087962: libstopt-dev: depends on libopenmpi-dev on architectures where it's no longer built

[Emilio Pozuelo Monfort]

Package: libstopt-dev
Version: 5.12+dfsg-2
Severity: serious

Hi,

libstopt-dev hardcodes a dependency on libopenmpi-dev, which is no longer built 
on 32 bit
architectures. The dependency should probably be switched to mpi-default-dev, 
just like
the build-depends.

Cheers,
Emilio