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/php.scm | |
| 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/php.scm')
0 files changed, 0 insertions, 0 deletions