[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 inst
From: |
Maxim Cournoyer |
Subject: |
bug#74572: [PATCH 6/6] gnu: openmpi-5: Streamline source and do not install HTML doc. |
Date: |
Wed, 18 Dec 2024 15:48:29 +0900 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi,
Ludovic Courtès <ludo@gnu.org> writes:
> 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!
Applied!
--
Thanks,
Maxim