Romain GARBAGE 4dc1442cc1
gnu: openmpi: Set default version to 4.x.
* gnu/packages/mpi.scm (openmpi-4): New variable.
(openmpi): Redefine variable.

Change-Id: If5bb4429c935982ddaa1a5acbd728367ebbfd6fd
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2024-08-19 16:15:05 +02:00
..