Hi people, should we define a provides=("mpi") or something like that in openmpi and mpich2, and eventually also other possible mpi implementations? That way a number of mpi-dependent packages will be made undependent of the chosen mpi implementation one wants to install. domanov