diff options
| author | Romain GARBAGE <romain.garbage@inria.fr> | 2024-07-12 14:00:05 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-19 16:15:05 +0200 |
| commit | 4dc1442cc1eaf7265b277901474de2d82a0089e7 (patch) | |
| tree | cc4b186ae97739cfda63066bf8a0a6fbdb1ffe05 /.editorconfig | |
| parent | 208c296f96a8c1d085da7d67404e5f1bd48e5f54 (diff) | |
| download | guix-4dc1442cc1eaf7265b277901474de2d82a0089e7.tar.gz guix-4dc1442cc1eaf7265b277901474de2d82a0089e7.zip | |
gnu: openmpi: Set default version to 4.x.
* gnu/packages/mpi.scm (openmpi-4): New variable.
(openmpi): Redefine variable.
Change-Id: If5bb4429c935982ddaa1a5acbd728367ebbfd6fd
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions