bug#43424: closed ([PATCH] gnu: openmpi: Update to 4.0.5.)

[GNU bug Tracking System]

Your message dated Thu, 17 Sep 2020 15:56:12 +0200
with message-id <87mu1o7bib.fsf@gnu.org>
and subject line Re: [bug#43424] [PATCH] gnu: openmpi: Update to 4.0.5.
has caused the debbugs.gnu.org bug report #43424,
regarding [PATCH] gnu: openmpi: Update to 4.0.5.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
43424: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43424
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] gnu: openmpi: Update to 4.0.5. Date: Tue, 15 Sep 2020 09:59:43 -0400

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

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#43424] [PATCH] gnu: openmpi: Update to 4.0.5.
>
>
>
>
> Date: 
>
> Thu, 17 Sep 2020 15:56:12 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
>
>
>
>
> > * gnu/packages/mpi.scm (openmpi): Update to 4.0.5.
>
> Applied, thanks!
>
> Mathieu
>
>
> --- End Message ---