Subject: bug#47619: closed (Re: [bug#47619] [PATCH] addpt-scotch-shared/scotch-shared)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 06 Apr 2021 17:55:02 +0000

Your bug report

#47619: [PATCH] add pt-scotch-shared/scotch-shared

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
47619: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47619
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#47619] [PATCH] addpt-scotch-shared/scotch-shared
From: Leo Famulari <[email-masked]>
To: Franck Pérignon <[email-masked]>
Cc: [email-masked]
Date: Tue, 6 Apr 2021 13:54:49 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

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.

Subject: [PATCH] add pt-scotch-shared/scotch-shared
From: Franck Pérignon <[email-masked]>
To: [email-masked]
Date: Tue, 6 Apr 2021 13:22:37 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello, 

the attached file add packages for scotch and pt-scotch that install shared libraries for both of them.