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
