[Pkg-openmpi-maintainers] Bug#889715: libopenmpi-dev: problem in alternatives handling

Laurent Bonnaud L.Bonnaud at laposte.net
Tue Apr 10 13:07:37 UTC 2018


On 02/06/2018 01:55 PM, Alastair McKinstry wrote:

> This appears to be a downgrade from experimental 3.0.1*.

I confirm that I had experimental packages that I later downgraded.

Thanks for looking at this and for the fix!

-- 
Laurent.




More information about the Pkg-openmpi-maintainers mailing list