[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#74572] [PATCH 6/6] gnu: openmpi-5: Streamline source and do not ins
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#74572] [PATCH 6/6] gnu: openmpi-5: Streamline source and do not install HTML doc. |
|
Date: |
Sun, 01 Dec 2024 18:08:41 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Maxim Cournoyer <maxim.cournoyer@gmail.com> skribis:
> This reduces the installed package size by 63 MiB.
>
> * gnu/packages/mpi.scm (openmpi-5) [source]: Add modules, snippet fields.
>
> Change-Id: Ie3dc365a2e4e48dc4c385dd447d3c64b7db065ca
This and the rest LGTM. Thanks!
- [bug#74572] [PATCH 6/6] gnu: openmpi-5: Streamline source and do not install HTML doc.,
Ludovic Courtès <=