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 | guix-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") |