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

From: Leo Famulari <[email-masked]>
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.