Package: guix-patches;
Reported by: Felix Gruber <felgru <at> posteo.net>
Date: Sun, 1 Mar 2020 20:07:02 UTC
Severity: normal
Tags: patch
Done: Ludovic Courtès <ludo <at> gnu.org>
Bug is archived. No further changes may be made.
Message #79 received at 39862-done <at> debbugs.gnu.org (full text, mbox):
From: Ludovic Courtès <ludo <at> gnu.org> To: Felix Gruber <felgru <at> posteo.net> Cc: 39862-done <at> debbugs.gnu.org Subject: Re: [PATCH v4 1/2] gnu: dune-*: remove openmpi dependency Date: Sat, 14 Mar 2020 17:55:34 +0100
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.