diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-04-17 00:08:34 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-04-17 00:08:34 +0200 |
| commit | f5961dd5854cec1ed9a41365836d63aa15256642 (patch) | |
| tree | 9e6168827adf5e4e90128d55fad6f0ab6448c86a /gnu/packages/mpi.scm | |
| parent | 05bb85fda06dc361b8d3d1eef0759606784b3130 (diff) | |
| parent | e28ff04108ae7506a21d451cc23d63937076e2a3 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/mpi.scm')
| -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") |