|
From: | Ludovic Courtès |
Subject: | bug#62937: [PATCH] gnu: openmpi: Update to 4.1.5. |
Date: | Mon, 24 Apr 2023 12:26:40 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Ludovic Courtès <ludo@gnu.org> skribis: > From: Ludovic Courtès <ludovic.courtes@inria.fr> > > * gnu/packages/mpi.scm (openmpi): Update to 4.1.5. Pushed as a386edb4dc334b54a75d845719247da6c9078458.
[Prev in Thread] | Current Thread | [Next in Thread] |