|
From: | Mathieu Othacehe |
Subject: | bug#43424: [PATCH] gnu: openmpi: Update to 4.0.5. |
Date: | Thu, 17 Sep 2020 15:56:12 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
> * gnu/packages/mpi.scm (openmpi): Update to 4.0.5. Applied, thanks! Mathieu
[Prev in Thread] | Current Thread | [Next in Thread] |