summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <[email protected]>2025-02-15 18:43:56 +0100
committerLudovic Courtès <[email protected]>2025-02-15 22:47:58 +0100
commit44982c92184c42951fe9ebcda94fc851e12d55fa (patch)
tree0aa6673b1fa72d38c6474d3ac893503e93c42d2c
parentaadee4a58ddb4c0995c41dc4c0d16464665c54c1 (diff)
gnu: openmpi: Update to 5.0.7.
* gnu/packages/mpi.scm (openmpi-5): Update to 5.0.7. Change-Id: I017c8979dfb97994a1c4b48fa099abe496548936
-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 07f09a284e..01a6d5e905 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -333,7 +333,7 @@ software vendors, application developers and computer science researchers.")
(define-public openmpi-5
(package
(inherit openmpi)
- (version "5.0.6")
+ (version "5.0.7")
(source
(origin
(method url-fetch)
@@ -366,7 +366,7 @@ software vendors, application developers and computer science researchers.")
;; documentation.
(delete-file-recursively "docs/html")))
(sha256
- (base32 "0mw1z4ppnlvxngwd58kl5q26qmvf3bgjkd4r8wjpqis3pky86hdx"))))
+ (base32 "1pf25zp9y0ch3vab3ycpjkck4njrsms0sg6zs0s36h3ajc4j17qi"))))
(inputs (modify-inputs (package-inputs openmpi)
;; As of Open MPI 5.0.X, PMIx is used to communicate