GNU bug report logs - #47619
[PATCH] add pt-scotch-shared/scotch-shared

Previous Next

Package: guix-patches;

Reported by: Franck Pérignon <Franck.Perignon <at> univ-grenoble-alpes.fr>

Date: Tue, 6 Apr 2021 14:52:03 UTC

Severity: normal

Tags: patch

Done: Leo Famulari <leo <at> famulari.name>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 47619-done <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Franck Pérignon <Franck.Perignon <at> univ-grenoble-alpes.fr>
Cc: 47619-done <at> debbugs.gnu.org
Subject: Re: [bug#47619] [PATCH] add
 pt-scotch-shared/scotch-shared
Date: Tue, 6 Apr 2021 13:54:49 -0400

On Tue, Apr 06, 2021 at 01:22:37PM +0200, Franck Pérignon wrote:
> Hello, 
> 
> the attached file add packages for scotch and pt-scotch that install shared libraries for both of them.

Thanks! I shortened the synopsis of pt-scotch-shared, to satisfy `guix
lint`, and pushed as 5fd046cbfd73ac178c02c503f3d8e2104a929e52.
This bug report was last modified 4 years and 39 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.