* gnu/packages/mpi.scm (openmpi-5): New variable. Change-Id: I048692b2e928077c9cfa9fb8076ceb356251e1db Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu/packages/mpi.scm (openmpi-5): New variable. Change-Id: I048692b2e928077c9cfa9fb8076ceb356251e1db Signed-off-by: Ludovic Courtès <ludo@gnu.org>