openmpi/3.0.0 with gcc/7.3.0 released as stable

This commit is contained in:
2018-07-11 10:48:35 +02:00
parent a1b9c0b9cd
commit f62924c8f3

View File

@@ -1 +1,3 @@
openmpi/3.0.0 unstable gcc/7.3.0
openmpi/3.0.0 stable gcc/7.3.0
openmpi/3.0.2 stable gcc/7.3.0
openmpi/3.1.1 stable gcc/7.3.0