aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludovic.courtes@inria.fr>2023-04-18 17:58:50 +0200
committerLudovic Courtès <ludo@gnu.org>2023-04-24 10:29:42 +0200
commita386edb4dc334b54a75d845719247da6c9078458 (patch)
treeba36778b8f3dc713cc20f4ba5823a24a2cf91be9
parent7931ac810b8feaadcbbfa3a31786087da2d5ee73 (diff)
downloadguix-a386edb4dc334b54a75d845719247da6c9078458.tar.gz
guix-a386edb4dc334b54a75d845719247da6c9078458.zip
gnu: openmpi: Update to 4.1.5.
* gnu/packages/mpi.scm (openmpi): Update to 4.1.5.
-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 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