Я установил openmpi в Ubuntu 18.04.2 LTS, используя
$sudo apt-get install libopenmpi-dev
$ mpirun -version
mpirun (Open MPI) 2.1.1
Как мне понизить его до v2.0.2
Спасибо!
sudo apt remove libopenmpi2 openmpi-common libopenmpi-dev openmpi-bin
(Я нашел это версиями здесь),
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 8B48AD6246925553
sudo apt-add-repository 'deb http://ftp.us.debian.org/debian stretch main contrib non-free'
apt list -a openmpi-bin
sudo apt install openmpi-bin=2.0.2-2 openmpi-common=2.0.2-2 libopenmpi-dev=2.0.2-2 libopenmpi2=2.0.2-2
mpirun -version