Openmpi 2.1.1 for gcc 7.2.0

2017-08-22 09:47:26 +02:00
parent bd4fd0f326
commit aa2e8bdcd0
1 changed files with 1 additions and 0 deletions
@@ -1 +1,2 @@
 openmpi/2.1.0	stable		gcc/7.1.0
+openmpi/2.1.1	stable		gcc/7.2.0