Archived
1
0
Fork 0

gnu: openmpi: Update to 4.0.2.

* gnu/packages/mpi.scm (openmpi): Update to 4.0.2.
This commit is contained in:
Ludovic Courtès 2019-10-10 17:23:52 +02:00
parent fc1fe722a0
commit 8f02e5ac81
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -161,7 +161,7 @@ bind processes, and much more.")
(define-public openmpi (define-public openmpi
(package (package
(name "openmpi") (name "openmpi")
(version "4.0.1") (version "4.0.2")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
@ -169,7 +169,7 @@ bind processes, and much more.")
(version-major+minor version) (version-major+minor version)
"/downloads/openmpi-" version ".tar.bz2")) "/downloads/openmpi-" version ".tar.bz2"))
(sha256 (sha256
(base32 "02cpzcp113gj5hb0j2xc0cqma2fn04i2i0bzf80r71120p9bdryc")))) (base32 "0ms0zvyxyy3pnx9qwib6zaljyp2b3ixny64xvq3czv3jpr8zf2wh"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs (inputs
`(("hwloc" ,hwloc "lib") `(("hwloc" ,hwloc "lib")