Subject: [PATCH v3 0/2] Add dune-*-openmpi packages

From: Felix Gruber <[email-masked]>
Date: Thu, 12 Mar 2020 22:05:11 +0100

Hi Ludo’,

thanks for your suggestions regarding the creation of the dune-*-openmpi
packages. I've rewritten the add-openmpi-to-dune-package in terms of
package-mapping as you suggested.

You'll find the modified version of my last two patches in the following
two emails.

Many thanks,
Felix

Felix Gruber (2):
  gnu: dune-*: remove openmpi dependency
  gnu: define dune-*-openmpi packages

 gnu/packages/maths.scm | 90 ++++++++++++++++++++++++++++--------------
 1 file changed, 60 insertions(+), 30 deletions(-)

-- 
2.25.1