summary refs log tree commit diff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludovic.courtes@inria.fr>2023-10-16 09:12:23 +0200
committerLudovic Courtès <ludo@gnu.org>2023-11-15 11:36:20 +0100
commitad2fcbfca498bf439ed3e3b340c288160f33bcbb (patch)
tree201ce21148bef64d050b60e2778fcdb0ddf70740 /gnu
parent59d29ebbb209175c0247a780ddef038757311615 (diff)
downloadguix-ad2fcbfca498bf439ed3e3b340c288160f33bcbb.tar.gz
gnu: openmpi: Update to 4.1.6.
* gnu/packages/mpi.scm (openmpi): Update to 4.1.6.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/mpi.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index 0f2747b499..85afc8cefc 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.5")
+    (version "4.1.6")
     (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 "1qyvc77diyrxmviirdwqpibgm32c4vkdlvw8g79rsf2pq9mrhh56"))
+        (base32 "05g4245v0pdqcyjmgn50519ry5v5q8ig26iinmiynvaihm29jh7p"))
        (patches (search-patches "openmpi-mtl-priorities.patch"))))
 
     (properties