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.