summary refs log tree commit diff
path: root/gnu/packages/mpi.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-04-15 11:30:48 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2019-04-16 00:05:04 +0200
commit6e36c6ed8f56915c2f4aacb57ac9addefc726897 (patch)
treef385afe2476855810978749973bf62389b984b35 /gnu/packages/mpi.scm
parentc11fcc6aa27db5f68aed807a6190143f4a156564 (diff)
downloadguix-6e36c6ed8f56915c2f4aacb57ac9addefc726897.tar.gz
gnu: openmpi: Update to .
* gnu/packages/mpi.scm (openmpi): Update to .
mpi
openmpi
Diffstat (limited to 'gnu/packages/mpi.scm')
-rw-r--r--gnu/packages/mpi.scm5
1 files changed, 2 insertions, 3 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index 952edca66e..461296f66b 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -161,7 +161,7 @@ bind processes, and much more.")
 (define-public openmpi
   (package
     (name "openmpi")
-    (version "4.0.0")
+    (version "4.0.1")
     (source
      (origin
       (method url-fetch)
@@ -169,8 +169,7 @@ bind processes, and much more.")
                           (version-major+minor version)
                           "/downloads/openmpi-" version ".tar.bz2"))
       (sha256
-       (base32
-        "0srnjwzsmyhka9hhnmqm86qck4w3xwjm8g6sbns58wzbrwv8l2rg"))))
+       (base32 "02cpzcp113gj5hb0j2xc0cqma2fn04i2i0bzf80r71120p9bdryc"))))
     (build-system gnu-build-system)
     (inputs
      `(("hwloc" ,hwloc "lib")