|
From: | Ludovic Courtès |
Subject: | bug#32641: [PATCH] mpi: Factorize openmpi setup build phase. |
Date: | Thu, 13 Sep 2018 19:14:05 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
This was pushed as bbe46a4af5972b3b5b434fe5d99ec9a0078b0ab8, closing.
[Prev in Thread] | Current Thread | [Next in Thread] |