openmpi: update to 3.1.2.

This commit is contained in:
Johannes Brechtmann
2018-08-30 21:42:25 +02:00
committed by maxice8
parent b950c9f560
commit 5af0397c33
2 changed files with 4 additions and 3 deletions

View File

@@ -715,6 +715,7 @@ libnetpgp.so.0 libnetpgp-20100313_1
libmj.so.0 libmj-20140211_1
libmca_common_sm.so.40 libopenmpi-3.0.1_1
libmca_common_ompio.so.41 libopenmpi-3.0.1_1
libmca_common_monitoring.so.50 libopenmpi-3.1.2_1
libmpi.so.40 libopenmpi-3.0.1_1
libompitrace.so.40 libopenmpi-3.0.1_1
libopen-pal.so.40 libopenmpi-3.0.1_1