diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-15 11:30:48 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-16 00:05:04 +0200 |
commit | 6e36c6ed8f56915c2f4aacb57ac9addefc726897 (patch) | |
tree | f385afe2476855810978749973bf62389b984b35 | |
parent | c11fcc6aa27db5f68aed807a6190143f4a156564 (diff) | |
download | patches-6e36c6ed8f56915c2f4aacb57ac9addefc726897.tar patches-6e36c6ed8f56915c2f4aacb57ac9addefc726897.tar.gz |
gnu: openmpi: Update to .
* gnu/packages/mpi.scm (openmpi): Update to .
mpi
openmpi
-rw-r--r-- | gnu/packages/mpi.scm | 5 |
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") |