gnu: openmpi: Update to 4.1.2

* gnu/packages/mpi.scm (openmpi): Update to 4.1.2

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Philippe SWARTVAGHER 2022-03-28 14:49:25 +02:00 committed by Ludovic Courtès
parent 2ae2a15b07
commit 39b27a17ec
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -193,7 +193,7 @@ (define-public hwloc
(define-public openmpi
(package
(name "openmpi")
(version "4.1.1")
(version "4.1.2")
(source
(origin
(method url-fetch)
@ -201,7 +201,7 @@ (define-public openmpi
(version-major+minor version)
"/downloads/openmpi-" version ".tar.bz2"))
(sha256
(base32 "1nkwq123vvmggcay48snm9qqmrh0bdzpln0l1jnp26niidvplkz2"))
(base32 "09xmlr4mfs02kwcf5cmdgkcdjj81fjwjmpa3rz2k28f3gz7wfy4v"))
(patches (search-patches "openmpi-mtl-priorities.patch"))))
(properties