From 1cbb8c856ee13ec5e2e3fb08b5a06f107c3985f9 Mon Sep 17 00:00:00 2001
From: Greg Hogan <
code@greghogan.com>
Date: Mon, 14 Sep 2020 15:15:54 +0000
Subject: [PATCH] gnu: openmpi: Update to 4.0.5.
* gnu/packages/mpi.scm (openmpi): Update to 4.0.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 b39c50779a..d831766ef2 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -177,7 +177,7 @@ bind processes, and much more.")
(define-public openmpi
(package
(name "openmpi")
- (version "4.0.3")
+ (version "4.0.5")
(source
(origin
(method url-fetch)
@@ -185,7 +185,7 @@ bind processes, and much more.")
(version-major+minor version)
"/downloads/openmpi-" version ".tar.bz2"))
(sha256
- (base32 "00zxcw99gr5n693cmcmn4f6a47vx1ywna895p0x7p163v37gw0hl"))
+ (base32 "02f0r9d3xgs08svkmj8v7lzviyxqnkk4yd3z0wql550xnriki3y5"))
(patches (search-patches "openmpi-mtl-priorities.patch"))))
(build-system gnu-build-system)
(inputs
--
2.28.0