Bug#889715: libopenmpi-dev: problem in alternatives handling

2018-04-10 Thread Laurent Bonnaud
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.

Bug#889715: libopenmpi-dev: problem in alternatives handling

2018-02-25 Thread Andreas Beckmann
Followup-For: Bug #889715 Hi, I wanted to look into this, but debian/libopenmpi-dev.postinst.in in git contains an unresolved but committed mismerge (with <<< === >>> markers). Stopping here. Andreas