Subject: [PATCH] gnu: openmpi: Update to 4.0.5.

From: Greg Hogan <[email-masked]>
Date: Tue, 15 Sep 2020 09:59:43 -0400

>From 1cbb8c856ee13ec5e2e3fb08b5a06f107c3985f9 Mon Sep 17 00:00:00 2001
From: Greg Hogan <[email-masked]>
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