[Pkg-openmpi-maintainers] Bug#847806: fixed in openmpi_2.0.2~git.20161225-8

[Andreas Beckmann]

Control: reopen -1

On Mon, 26 Dec 2016 16:58:44 +0000 Alastair McKinstry
<mckinstry at debian.org> wrote:
> Broken links were fixed with corrected conditional installation of parts
> in a previous upload (-6),

That fix in -6 was not sufficient. See the patch that I sent in
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847806#5


Andreas