--- Begin Message ---
Subject: |
[PATCH] gnu: openmpi: Update to 4.1.5. |
Date: |
Tue, 18 Apr 2023 18:01:34 +0200 |
From: Ludovic Courtès <ludovic.courtes@inria.fr>
* 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 @@ (define-public hwloc
(define-public openmpi
(package
(name "openmpi")
- (version "4.1.4")
+ (version "4.1.5")
(source
(origin
(method url-fetch)
@@ -192,7 +192,7 @@ (define-public openmpi
(version-major+minor version)
"/downloads/openmpi-" version ".tar.bz2"))
(sha256
- (base32 "03ckngrff1cl0l81vfvrfhp99rbgk7s0633kr1l468yibwbjx4cj"))
+ (base32 "1qyvc77diyrxmviirdwqpibgm32c4vkdlvw8g79rsf2pq9mrhh56"))
(patches (search-patches "openmpi-mtl-priorities.patch"))))
(properties
base-commit: 84bd7cf9189574d9a966c4583f95bfe843e4b56a
--
2.39.2
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#62937: [PATCH] gnu: openmpi: Update to 4.1.5. |
Date: |
Mon, 24 Apr 2023 12:26:40 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Ludovic Courtès <ludo@gnu.org> skribis:
> From: Ludovic Courtès <ludovic.courtes@inria.fr>
>
> * gnu/packages/mpi.scm (openmpi): Update to 4.1.5.
Pushed as a386edb4dc334b54a75d845719247da6c9078458.
--- End Message ---