gnu: openmpi: Update to .

* gnu/packages/mpi.scm (openmpi): Update to .
mpi
openmpi
This commit is contained in:
Tobias Geerinckx-Rice 2019-04-15 11:30:48 +02:00
parent c11fcc6aa2
commit 6e36c6ed8f
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -161,7 +161,7 @@ (define-public hwloc-2.0
(define-public openmpi (define-public openmpi
(package (package
(name "openmpi") (name "openmpi")
(version "4.0.0") (version "4.0.1")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
@ -169,8 +169,7 @@ (define-public openmpi
(version-major+minor version) (version-major+minor version)
"/downloads/openmpi-" version ".tar.bz2")) "/downloads/openmpi-" version ".tar.bz2"))
(sha256 (sha256
(base32 (base32 "02cpzcp113gj5hb0j2xc0cqma2fn04i2i0bzf80r71120p9bdryc"))))
"0srnjwzsmyhka9hhnmqm86qck4w3xwjm8g6sbns58wzbrwv8l2rg"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs (inputs
`(("hwloc" ,hwloc "lib") `(("hwloc" ,hwloc "lib")