[opensuse-factory] Re: which openmpi should Factory use?