diff options
| author | Romain GARBAGE <romain.garbage@inria.fr> | 2024-07-12 14:00:04 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-19 16:15:05 +0200 |
| commit | 208c296f96a8c1d085da7d67404e5f1bd48e5f54 (patch) | |
| tree | a6d085c2eeef99f8efb22fece9856e97eb6f2581 /build-aux | |
| parent | 13278a2a461707e93ef1a7ae1f11e9b18454b28c (diff) | |
| download | guix-208c296f96a8c1d085da7d67404e5f1bd48e5f54.tar.gz guix-208c296f96a8c1d085da7d67404e5f1bd48e5f54.zip | |
gnu: Add openmpi-5.
* gnu/packages/mpi.scm (openmpi-5): New variable.
Change-Id: I048692b2e928077c9cfa9fb8076ceb356251e1db
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions