summaryrefslogtreecommitdiff
path: root/gnu/packages/mpi.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludovic.courtes@inria.fr>2021-03-19 13:21:43 +0100
committerLudovic Courtès <ludo@gnu.org>2021-03-19 13:23:27 +0100
commitee21803288cb2fd4dcfa9091d4fe4080a795a1ab (patch)
treef4f2ac97d7c6ec3d3b0f9634776ab84c50eec3cc /gnu/packages/mpi.scm
parent14aa86e50c3d931eb3714ca7bb91f861173169c8 (diff)
gnu: openmpi: Update to 4.1.0.
* gnu/packages/mpi.scm (openmpi): Update to 4.1.0.
Diffstat (limited to 'gnu/packages/mpi.scm')
-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 b878cc7019..c958ef3398 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -193,7 +193,7 @@ bind processes, and much more.")
(define-public openmpi
(package
(name "openmpi")
- (version "4.0.5")
+ (version "4.1.0")
(source
(origin
(method url-fetch)
@@ -201,7 +201,7 @@ bind processes, and much more.")
(version-major+minor version)
"/downloads/openmpi-" version ".tar.bz2"))
(sha256
- (base32 "02f0r9d3xgs08svkmj8v7lzviyxqnkk4yd3z0wql550xnriki3y5"))
+ (base32 "1dfmkyilgml9w9s5p0jmfj3xcdwdccwqbjw5iim9p0chf2vnz1kk"))
(patches (search-patches "openmpi-mtl-priorities.patch"))))
(properties