Subject: [PATCH] Add boost mpi
From: Franck Pérignon <[email-masked]>
To: [email-masked]
Date: Thu, 8 Apr 2021 15:46:45 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

the attached file adds a recipe to install boost with its component mpi.

Thanks