[Debian-astro-maintainers] Bug#943812: closed by Ole Streicher <olebole at debian.org> (Bug#943812: fixed in sopt 3.0.1-8)

[Helmut Grohne]

Control: reopen -1

Hi Ole,

On Fri, Nov 01, 2019 at 12:21:08PM +0000, Debian Bug Tracking System wrote:
>    * Add libopenmpi-dev build dependency (Closes: #943812)

It's nice that you add a build dependency on libopenmpi-dev, but that's
unrelated to the bug #943812 at hand, which was about a missing runtime
dependency.

Helmut