02/05: gnu: openmpi: Update to 4.1.5.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit a386edb4dc334b54a75d845719247da6c9078458
Author: Ludovic Courtès <ludovic.courtes@inria.fr>
AuthorDate: Tue Apr 18 17:58:50 2023 +0200

    gnu: openmpi: Update to 4.1.5.
    
    * gnu/packages/mpi.scm (openmpi): Update to 4.1.5.
---
 gnu/packages/mpi.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index f21bd16d3a..20fc1a16a4 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -184,7 +184,7 @@ bind processes, and much more.")
 (define-public openmpi
   (package
     (name "openmpi")
-    (version "4.1.4")
+    (version "4.1.5")
     (source
      (origin
        (method url-fetch)
@@ -192,7 +192,7 @@ bind processes, and much more.")
                            (version-major+minor version)
                            "/downloads/openmpi-" version ".tar.bz2"))
        (sha256
-        (base32 "03ckngrff1cl0l81vfvrfhp99rbgk7s0633kr1l468yibwbjx4cj"))
+        (base32 "1qyvc77diyrxmviirdwqpibgm32c4vkdlvw8g79rsf2pq9mrhh56"))
        (patches (search-patches "openmpi-mtl-priorities.patch"))))
 
     (properties