diff options
| author | Dave Love <fx@gnu.org> | 2017-07-23 22:00:21 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-25 18:09:27 +0200 |
| commit | 1f9bff415220ed412a95d3190faaa449150864d6 (patch) | |
| tree | 94434c6730ec9576a919d7259bda134d2ec5cbd9 | |
| parent | 386f5415569604d3c4c83823ffc6b71b3012670c (diff) | |
| download | patches-1f9bff415220ed412a95d3190faaa449150864d6.tar patches-1f9bff415220ed412a95d3190faaa449150864d6.tar.gz | |
gnu: openmpi: Update to 1.10.7.
* gnu/packages/mpi.scm (openmpi): Update to 1.10.7.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -rw-r--r-- | gnu/packages/mpi.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm index 3b1ba003c6..6adff2a795 100644 --- a/gnu/packages/mpi.scm +++ b/gnu/packages/mpi.scm @@ -3,6 +3,7 @@ ;;; Copyright © 2014, 2015, 2016, 2017 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2014 Ian Denhardt <ian@zenhack.net> ;;; Copyright © 2016 Andreas Enge <andreas@enge.fr> +;;; Copyright © 2017 Dave Love <fx@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -110,7 +111,7 @@ bind processes, and much more.") (define-public openmpi (package (name "openmpi") - (version "1.10.3") + (version "1.10.7") (source (origin (method url-fetch) @@ -119,7 +120,7 @@ bind processes, and much more.") "/downloads/openmpi-" version ".tar.bz2")) (sha256 (base32 - "0k95ri9f8kzx5vhzrdbzn59rn2324fs4a96w5v8jy20j8dkbp13l")))) + "142s1vny9gllkq336yafxayjgcirj2jv0ddabj879jgya7hyr2d0")))) (build-system gnu-build-system) (inputs `(("hwloc" ,hwloc "lib") |