aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorDave Love <fx@gnu.org>2017-07-23 22:30:40 +0100
committerLudovic Courtès <ludo@gnu.org>2017-07-25 18:10:08 +0200
commitbb0f6d7526477c321d025bc8e2dcb019dcc1f415 (patch)
tree07ccdc7582841def3c850e25a77acf8c0de85b76 /gnu
parent1f9bff415220ed412a95d3190faaa449150864d6 (diff)
downloadpatches-bb0f6d7526477c321d025bc8e2dcb019dcc1f415.tar
patches-bb0f6d7526477c321d025bc8e2dcb019dcc1f415.tar.gz
gnu: openmpi: Description mentions MPI 3.0.
* gnu/packages/mpi.scm (openmpi): It's MPI 3, not MPI 2. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/mpi.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index 6adff2a795..b20993b952 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -156,9 +156,9 @@ bind processes, and much more.")
(for-each delete-file (find-files out "config.log"))
#t))))))
(home-page "http://www.open-mpi.org")
- (synopsis "MPI-2 implementation")
+ (synopsis "MPI-3 implementation")
(description
- "The Open MPI Project is an MPI-2 implementation that is developed and
+ "The Open MPI Project is an MPI-3 implementation that is developed and
maintained by a consortium of academic, research, and industry partners. Open
MPI is therefore able to combine the expertise, technologies, and resources
from all across the High Performance Computing community in order to build the