[bug#43424] gnu: openmpi: Update to 4.0.5.
diff mbox series

Message ID CA+3U0ZkDwSm7t3gP3SvJjoZUTSyxnRgdpxBvLD82ftgxcuGbMQ@mail.gmail.com
State New
Headers show
Series
  • [bug#43424] gnu: openmpi: Update to 4.0.5.
Related show

Commit Message

Greg Hogan Sept. 15, 2020, 1:59 p.m. UTC
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(-)

Comments

Mathieu Othacehe Sept. 17, 2020, 1:56 p.m. UTC | #1
> * gnu/packages/mpi.scm (openmpi): Update to 4.0.5.

Applied, thanks!

Mathieu

Patch
diff mbox series

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