gnu: openmpi: Update to 4.1.3.

* gnu/packages/mpi.scm (openmpi): Update to 4.1.3.
This commit is contained in:
Ludovic Courtès 2022-04-11 15:46:43 +02:00 committed by Ludovic Courtès
parent b478d55ac4
commit 46b3b7e5a7
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -184,7 +184,7 @@ (define-public hwloc
(define-public openmpi
(package
(name "openmpi")
(version "4.1.2")
(version "4.1.3")
(source
(origin
(method url-fetch)
@ -192,7 +192,7 @@ (define-public openmpi
(version-major+minor version)
"/downloads/openmpi-" version ".tar.bz2"))
(sha256
(base32 "09xmlr4mfs02kwcf5cmdgkcdjj81fjwjmpa3rz2k28f3gz7wfy4v"))
(base32 "0fqagib5ic0fb3rbl77z90gjrmyqk2qgyrd4f4w5vdggai6d109x"))
(patches (search-patches "openmpi-mtl-priorities.patch"))))
(properties