diff options
| author | Dave Love <fx@gnu.org> | 2017-07-23 22:30:40 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-25 18:10:08 +0200 |
| commit | bb0f6d7526477c321d025bc8e2dcb019dcc1f415 (patch) | |
| tree | 07ccdc7582841def3c850e25a77acf8c0de85b76 /gnu/packages | |
| parent | 1f9bff415220ed412a95d3190faaa449150864d6 (diff) | |
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/packages')
| -rw-r--r-- | gnu/packages/mpi.scm | 4 |
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 |