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 /.dir-locals.el | |
| parent | 1f9bff415220ed412a95d3190faaa449150864d6 (diff) | |
| download | guix-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 '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions