nckx pushed a commit to branch master
in repository guix.
commit f1ecda50de43be7bde6e4083ccd57d9265e54c86
Author: Tobias Geerinckx-Rice <[email protected]>
AuthorDate: Sun May 2 00:40:48 2021 +0200
gnu: openmpi: Update to 4.1.1.
* gnu/packages/mpi.scm (openmpi): Update to 4.1.1.
---
gnu/packages/mpi.scm | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index c958ef3..4fe1a3a 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -5,7 +5,7 @@
;;; Copyright © 2016 Andreas Enge <[email protected]>
;;; Copyright © 2017 Dave Love <[email protected]>
;;; Copyright © 2017 Efraim Flashner <[email protected]>
-;;; Copyright © 2018, 2019, 2020 Tobias Geerinckx-Rice <[email protected]>
+;;; Copyright © 2018–2021 Tobias Geerinckx-Rice <[email protected]>
;;; Copyright © 2018 Paul Garlick <[email protected]>
;;; Copyright © 2019 Ricardo Wurmus <[email protected]>
;;;
@@ -193,7 +193,7 @@ bind processes, and much more.")
(define-public openmpi
(package
(name "openmpi")
- (version "4.1.0")
+ (version "4.1.1")
(source
(origin
(method url-fetch)
@@ -201,7 +201,7 @@ bind processes, and much more.")
(version-major+minor version)
"/downloads/openmpi-" version ".tar.bz2"))
(sha256
- (base32 "1dfmkyilgml9w9s5p0jmfj3xcdwdccwqbjw5iim9p0chf2vnz1kk"))
+ (base32 "1nkwq123vvmggcay48snm9qqmrh0bdzpln0l1jnp26niidvplkz2"))
(patches (search-patches "openmpi-mtl-priorities.patch"))))
(properties
