[Bug 1881132] Re: libopenmpi-dev requires reinstall after upgrade to 20.04

2020-08-10 Thread Rodrigo Tobar
I had the same problem, with cmake-based and autoconf-based projects failing to find mpicc and all the rest. Re-installing as per the instructions above made everyone happy again. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https:/

[Bug 1881132] Re: libopenmpi-dev requires reinstall after upgrade to 20.04

2020-08-10 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: ubuntu-release-upgrader (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1881