Subject: [bug#72062] [PATCH v2 5/5] gnu: openmpi: Set default version to 4.x.

From: Romain GARBAGE <[email-masked]>
Date: Fri, 12 Jul 2024 13:47:06 +0200

* gnu/packages/mpi.scm (openmpi-4): New variable.
(openmpi): Redefine variable.

Change-Id: I899e6259c9bcc579622c57a1ad1e9665f0e5db7f
---
 gnu/packages/mpi.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index 01f07a0f7c..08cfbc3062 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -185,7 +185,9 @@ (define-public hwloc
   ;; The latest stable series of hwloc.
   hwloc-2)
 
-(define-public openmpi
+(define-public openmpi openmpi-4)
+
+(define-public openmpi-4
   (package
     (name "openmpi")
     (version "4.1.6")
-- 
2.45.1