[Pkg-openmpi-maintainers] Processed: Re: libopenmpi2: broken SONAME links

[Debian Bug Tracking System]

Processing control commands:

> found -1 2.0.2~git.20161225-5
Bug #847806 {Done: Alastair McKinstry <mckinstry at debian.org>} [libopenmpi2] libopenmpi2: broken SONAME links
Marked as found in versions openmpi/2.0.2~git.20161225-5; no longer marked as fixed in versions openmpi/2.0.2~git.20161225-5 and reopened.

-- 
847806: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847806
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems