* gnu/packages/mpi.scm (openmpi): Update to 4.0.2.
(define-public openmpi
(package
(name "openmpi")
(define-public openmpi
(package
(name "openmpi")
(source
(origin
(method url-fetch)
(source
(origin
(method url-fetch)
(version-major+minor version)
"/downloads/openmpi-" version ".tar.bz2"))
(sha256
(version-major+minor version)
"/downloads/openmpi-" version ".tar.bz2"))
(sha256
- (base32 "02cpzcp113gj5hb0j2xc0cqma2fn04i2i0bzf80r71120p9bdryc"))))
+ (base32 "0ms0zvyxyy3pnx9qwib6zaljyp2b3ixny64xvq3czv3jpr8zf2wh"))))
(build-system gnu-build-system)
(inputs
`(("hwloc" ,hwloc "lib")
(build-system gnu-build-system)
(inputs
`(("hwloc" ,hwloc "lib")