bug#32641: [PATCH] mpi: Factorize openmpi setup build phase.

guix-patches

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.

Current Thread

[Next in Thread]

[bug#32641] [PATCH] mpi: Factorize openmpi setup build phase., ericbavier, 2018/09/05
- [bug#32641] [PATCH] mpi: Factorize openmpi setup build phase., Ludovic Courtès, 2018/09/07
  - bug#32641: [PATCH] mpi: Factorize openmpi setup build phase., Ludovic Courtès <=