aboutsummaryrefslogtreecommitdiff
path: root/gnu
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
parentc11fcc6aa27db5f68aed807a6190143f4a156564 (diff)
downloadpatches-6e36c6ed8f56915c2f4aacb57ac9addefc726897.tar
patches-6e36c6ed8f56915c2f4aacb57ac9addefc726897.tar.gz
gnu: openmpi: Update to .
* gnu/packages/mpi.scm (openmpi): Update to . mpi openmpi
Diffstat (limited to 'gnu')
-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")