Package: guix-patches;
Reported by: Felix Gruber <felgru <at> posteo.net>
Date: Thu, 4 Mar 2021 19:55:02 UTC
Severity: normal
Tags: patch
Done: Ludovic Courtès <ludovic.courtes <at> inria.fr>
Bug is archived. No further changes may be made.
Message #14 received at 46929 <at> debbugs.gnu.org (full text, mbox):
From: Felix Gruber <felgru <at> posteo.net> To: 46929 <at> debbugs.gnu.org Cc: Felix Gruber <felgru <at> posteo.net> Subject: [PATCH v3 01/12] gnu: Modernize add-openmpi-to-dune-package Date: Sat, 18 Dec 2021 13:36:49 +0000
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.