openmpi: forgot to bump libmpi.so.

This commit is contained in:
Christian Neukirchen 2015-10-03 20:34:44 +02:00
parent 1ce5f68254
commit 2fe3529290

View file

@ -652,7 +652,7 @@ libaprutil-1.so.0 apr-util-1.3.9_1
libnetpgp.so.0 libnetpgp-20100313_1
libmj.so.0 libmj-20140211_1
libmca_common_sm.so.4 libopenmpi-1.8.2_1
libmpi.so.1 libopenmpi-1.8.2_1
libmpi.so.12 libopenmpi-1.10.0_1
libmpi_cxx.so.1 libopenmpi-1.8.2_1
libompitrace.so.0 libopenmpi-1.8.2_1
libopen-pal.so.13 libopenmpi-1.10.0_1