Re: [aur-general] openmpi, mpich2: provides 'mpi'