diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-10-10 17:23:52 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-10 17:23:52 +0200 |
commit | 8f02e5ac81de57e3e16b088960167116711639a7 (patch) | |
tree | 89803e4267def0c86ed032a40c3ee7aac4552bb7 /gnu | |
parent | fc1fe722a05318ac05a71a0b127f231631e2843f (diff) | |
download | patches-8f02e5ac81de57e3e16b088960167116711639a7.tar patches-8f02e5ac81de57e3e16b088960167116711639a7.tar.gz |
gnu: openmpi: Update to 4.0.2.
* gnu/packages/mpi.scm (openmpi): Update to 4.0.2.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/mpi.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index c02e1d2e2b..079ac34dbf 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.1") + (version "4.0.2") (source (origin (method url-fetch) @@ -169,7 +169,7 @@ bind processes, and much more.") (version-major+minor version) "/downloads/openmpi-" version ".tar.bz2")) (sha256 - (base32 "02cpzcp113gj5hb0j2xc0cqma2fn04i2i0bzf80r71120p9bdryc")))) + (base32 "0ms0zvyxyy3pnx9qwib6zaljyp2b3ixny64xvq3czv3jpr8zf2wh")))) (build-system gnu-build-system) (inputs `(("hwloc" ,hwloc "lib") |