openmpi/variants: conflicts resolved

2018-05-15 13:00:05 +02:00
parent 0ff2f41874 ff09d9f9d0
commit 0a6ae2bb83
9 changed files with 163 additions and 9 deletions
@@ -0,0 +1 @@
+gcc/8.1.0	unstable	b:gmp/6.1.2 b:mpfr/4.0.1 b:mpc/1.1.0
				`@@ -0,0 +1 @@`
				`gcc/8.1.0 unstable b:gmp/6.1.2 b:mpfr/4.0.1 b:mpc/1.1.0`