summaryrefslogtreecommitdiff
path: root/gnu/packages/mpi.scm
diff options
context:
space:
mode:
authorDave Love <fx@gnu.org>2017-07-23 22:00:21 +0100
committerLudovic Courtès <ludo@gnu.org>2017-07-25 18:09:27 +0200
commit1f9bff415220ed412a95d3190faaa449150864d6 (patch)
tree94434c6730ec9576a919d7259bda134d2ec5cbd9 /gnu/packages/mpi.scm
parent386f5415569604d3c4c83823ffc6b71b3012670c (diff)
downloadpatches-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>
Diffstat (limited to 'gnu/packages/mpi.scm')
-rw-r--r--gnu/packages/mpi.scm5
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")