gnu: openmpi: Update to 4.0.5.
authorGreg Hogan <code@greghogan.com>
Tue, 15 Sep 2020 13:59:43 +0000 (09:59 -0400)
committerMathieu Othacehe <othacehe@gnu.org>
Thu, 17 Sep 2020 14:18:00 +0000 (16:18 +0200)
* gnu/packages/mpi.scm (openmpi): Update to 4.0.5.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
gnu/packages/mpi.scm

index b39c507..d831766 100644 (file)
@@ -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